debian/0000755000000000000000000000000012247276222007174 5ustar debian/manpages/0000755000000000000000000000000012247275633010774 5ustar debian/manpages/bibhva.10000644000000000000000000000201612247275633012310 0ustar .TH HEVEA 1 .SH NAME bibhva \- A BibTeX wrapper for use with HeVeA .SH SYNOPSIS .B bibhva .I .RI "[bibtex-options] " .SH "DESCRIPTION" This manual page documents briefly the .BR bibhva command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. .PP This command is a simple wrapper for calling .B bibtex for use with .B hevea. Calling .I bibhva basename runs .B bibtex on the input file .I basename.haux with output sent to the file .I basename.hbbl. .PP All options are forwarded to .B bibtex. .SH SEE ALSO .BR bibtex (1), .BR hevea (1) .P The HeVeA documentation can be found on the HeVeA home page \fI http://hevea.inria.fr/\fR. On a Debian system it can also be accessed at \fI/usr/share/doc/hevea-doc/html\fR or through the Debian help system, provided the package \fIhevea-doc\fR is installed. .SH AUTHOR \fBBibhva\fR is written by Luc Maranget . .PP This manual page was written by Ralf Treinen . debian/manpages/hevea.10000644000000000000000000000643412247275633012155 0ustar .TH HEVEA 1 .SH NAME hevea \- A fast LaTeX to HTML translator .SH SYNOPSIS .B hevea .I .RI "[options] " .SH "DESCRIPTION" This manual page documents briefly the .BR hevea command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. .PP Using .B hevea it is possible to translate large documents written in LaTeX, such as manuals, books, etc., very quickly into HTML. All documents are translated as one single HTML file. The output file can be cut into smaller files, using the companion program .B hacha. .SH OPTIONS .SS General Options .TP .B \-version Show hevea version and exit. .TP .B \-v Verbose flag, can be repeated to increase verbosity. .TP .B \-dv Add border around some of the block-level elements issued. Specifically, all DIV and P are bordered, while the structure of displayed material is also shown. .TP .B -s Suppress warnings. .TP .B \-I dirname Add \fIdirname\fR to the search path. .TP .B \-o name Make \fIname\fR the output basename. However, if \fIname\fR is \fIbase.html\fR, then the output basename is \fIbase\fr. .TP .B -e filename Prevent hevea from loading any file whose name is \fIfilename\fR. Note that this option applies to all files, including hevea.hva and base style files. .TP .B -fix Iterate HeVeA until a fixpoint is found. Additionally, images get generated automatically. .TP .B -O Optimize HTML by calling \fIesponja\fR. .TP .B -exec prog Execute file \fIprog\fR and read the output. The file prog must have execution permission and is searched by following the searching rules of hevea. .TP .B -francais Deprecated by babel support. This option issues a warning message. .TP .BR \-help , \-\-help Print version number and a short help message. .TP .B -rsz Size of leaves in rope implementation. The default is 1024. Ropes are a datastructure internally used by hevea to represent large pieces of text. .SS Options controlling the generation of HTML code .TP .B -entities Render symbols by using entities. This is the default. .TP .B -textsymbols Render symbols by English text. .TP .B -moreentities Enable the output of some infrequent entities. Use this option to target browsers with wide entities support. .TP .B -mathml Produces MathML output for equations, very experimental. .TP .B -pedantic Be strict in interpreting HTML definition. In particular, this option disable size and color changes inside 
...
, which are otherwise performed. .SS Options for alternative output formats .TP .B -text Output plain text. Output file extension is .txt. .TP .B -info Output info format. Output file extension is .info. .TP .B -w width Set the line \fIwidth\fR for text or info output, defaults to 72. .SH SEE ALSO .BR hacha (1), .BR imagen (1), .BR esponja (1). .P The HeVeA documentation can be found on the HeVeA home page \fI http://hevea.inria.fr\fR. On a Debian system it can also be accessed at \fI/usr/share/doc/hevea-doc/html\fR, provided the package \fIhevea-doc\fR (from the non-free section) is installed. .SH AUTHOR \fBHeVeA\fR is written by Luc Maranget . .PP This manual page was compiled by Ralf Treinen and Georges Mariano from the HeVeA documentation for the Debian GNU/Linux system (but may be used by others). debian/manpages/imagen.10000644000000000000000000000464412247275633012326 0ustar .TH IMAGEN 1 .SH NAME image \- Translate LaTeX documents to GIF images. .SH SYNOPSIS .B imagen .I "" .SH "DESCRIPTION" This manual page documents briefly the .BR imagen command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. .PP .B imagen is a simple shell script that translates a LaTeX document into many images. Please consult the hevea manual for explanation how to use .I imagen in conjunction with hevea. .SH OPTIONS A summary of options are included below. .TP .B \-png Produce images in the png format. This is the default. .TP .B \-gif Produce images in gif format instead of png. .TP .B \-pnm Produce images in pnm format instead of png. .TP .B \-mag nnnn, Change the enlarging ratio that is applied while translating DVI into Postscript. More precisely, dvips is run with \fI-xnnnn\fR option. Default value for this ration is 1414, this means that, by default, imagen magnifies LaTeX output by a factor of 1.414. .TP .B \-t arg Pass option \fI\-t arg\fR to dvips. For instance, using \fI-t a3\fR may help when images are truncated on the right. .TP .B \-pdf Have imagen call pdflatex instead of latex .TP .B \-extra command, Insert \fIcommand\fR as an additional stage in imagen ppm to png/gif production chain. \fIcommand\fR is a Unix filter that expects a ppm image in its standard input and outputs a ppm image on its standard output. A sensible choice for command is one command from the netpbm package or several such commands piped together. .TP .B \-quant number Add an extra color quantization step in imagen ppm image production chain, where \fInumber\fR is the maximal number of colors in the produced images. This option may be needed in response of a failure in the image production chain. It can also help in limiting image files size. .SH SEE ALSO .BR hevea (1), .BR latex (1), .BR gs (1), .BR dvips (1), .BR ppmtopng (1), .BR ppmtogif (1) .P The HeVeA documentation can be found on the HeVeA home page \fI http://hevea.inria.fr\fR. On a Debian system it can also be accessed at \fI/usr/share/doc/hevea-doc/html\fR, provided the package \fIhevea-doc\fR (from the non-free section) is installed. .SH AUTHOR \fBImagen\fR is part of HeVeA, written by Luc Maranget . .PP This manual page was compiled by Ralf Treinen from the HeVeA documentation for the Debian GNU/Linux system (but may be used by others). debian/manpages/esponja.10000644000000000000000000000275712247275633012530 0ustar .TH IMAGEN 1 .SH NAME esponja \- Optimize HTML code. .SH SYNOPSIS .B esponja .RI "[options] files" .SH "DESCRIPTION" This manual page documents briefly the .BR esponja command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. .PP .B Esponja tries to optimize HTML markup. It is not tolerant against non-valid HTML files. If no \fIfile\fR is given then it reads from standard input and writes to standard output. If at least on \fIfile\fR is given then it operates by \fBmodifying\fR these files. .SH OPTIONS A summary of options are included below. .TP .B \-u Output html files at intermediate stages of the optimization. .TP .B \-v Switch on verbose mode. Can be iterated to increase the verbosity. .TP .B \-n Do not modify files. Instead, the output of processing \fIfile\fR is written to \fIfile\fR.esp. This option switches the \fB-v\fR on. .TP .B \-help, \--help Show usage information. .SH SEE ALSO .BR hevea (1). .P The HeVeA documentation can be found on the HeVeA home page \fI http://hevea.inria.fr\fR. On a Debian system it can also be accessed at \fI/usr/share/doc/hevea-doc/html\fR or through the Debian help system, provided the package \fIhevea-doc\fR is installed. .SH AUTHOR \fBEsponja\fR is part of HeVeA, written by Luc Maranget . .PP This manual page was compiled by Ralf Treinen from the HeVeA documentation for the Debian GNU/Linux system (but may be used by others). debian/manpages/hacha.10000644000000000000000000000370412247275633012126 0ustar .TH HACHA 1 .SH NAME hacha \- Chop hevea output files .SH SYNOPSIS .B hacha .I "[options] " .SH "DESCRIPTION" This manual page documents briefly the .BR hacha command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. .PP .B Hacha is a program that allow to cut an html file produced with .B hevea into several html files. .SH OPTIONS .SS General Options .TP .BR \-help , \-\-help Print a summary of the usage of hacha. .TP .B \-version Show the current version of hacha and exit. .TP .B \-v, Verbose flag .TP .B -rsz Size of leaves in rope implementation. The default is 1024. Ropes are a datastructure internally used by hevea to represent large pieces of text. .SS Options directing the flow of output .TP .B \-o filename make hacha output go into file \fIfilename\fR (defaults to index.html) .TP .B -hrf Output a base.hrf file, showing in which output files are the anchors from the input file gone. The format of this summary is one ``\fIanchor\fR\\t\fIfile\fR'' line per anchor. This information may be needed by other tools. .SS Options controlling aspects of the HTML code .TP .B \-tocbis Duplicate table of contents at the begining of files. .TP .B \-tocter Insert most of table of contents at the beginning of files. .TP .B \-nolinks Do not insert Previous/Up/Next links in generated pages. .SH SEE ALSO .BR hevea (1) .P The HeVeA documentation can be found on the HeVeA home page \fI http://hevea.inria.fr\fR. On a Debian system it can also be accessed at \fI/usr/share/doc/hevea-doc/html\fR or through the Debian help system, provided the package \fIhevea-doc\fR is installed. .SH AUTHOR \fBHacha\fR is part of HeVeA, written by Luc Maranget . .PP This manual page was compiled by Ralf Treinen and Georges Mariano from the HeVeA documentation for the Debian GNU/Linux system (but may be used by others). debian/control0000644000000000000000000000235112247275677010615 0ustar Source: hevea Section: tex Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Remi Vanicat , Samuel Mimram , Stéphane Glondu Build-Depends-Indep: ocaml-nox (>= 4) Build-Depends: debhelper (>= 9), tex-common, dh-ocaml (>= 0.9) Standards-Version: 3.9.4 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/hevea.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hevea.git Homepage: http://hevea.inria.fr/ Package: hevea Architecture: all Depends: ghostscript, netpbm(>=2:9.10-1), texlive-base , ${ocaml:Depends}, ${misc:Depends} Suggests: hevea-doc, texlive-latex-extra Description: translates from LaTeX to HTML, info, or text Its remarkable features are - It produces good output. Special symbols (like mathematical symbols) are translated into HTML entities which should be rendered by any graphical browser. Picture files are only generated on demand, for instance when translating graphics. - It is highly configurable through (La)TeX macros. Though aimed at LaTeX input it understands a fair subset of TeX' macro language. - It runs fast. debian/hevea.manpages0000644000000000000000000000002212247275633012000 0ustar debian/manpages/* debian/README.Debian0000644000000000000000000000066212247275633011246 0ustar On a Debian system using the texlive distribution you need to install the package texlive-latex-extra if you want to use the "toimage" environment. The reason is that hevea generates for each toimage environment a temporary TeX file that uses the "comment" environment (provided by the texlive-latex-extra package) and then runs latex on it to produce the image. -- Ralf Treinen Sun, 01 Sep 2013 20:01:28 +0200debian/hevea.dirs0000644000000000000000000000011712247275633011153 0ustar usr/bin usr/share/hevea usr/share/texmf/tex/latex/misc usr/share/doc/hevea debian/source/0000755000000000000000000000000012247275633010501 5ustar debian/source/format0000644000000000000000000000001412247275633011707 0ustar 3.0 (quilt) debian/copyright0000644000000000000000000001273612247275633011145 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: hevea Upstream-Contact: Luc Maranget Source: http://hevea.inria.fr/distri/ Files: * Copyright: Copyright 1998-2012 Institut National de Recherche en Informatique et Automatique (years of copyright vary between files) License: QPL-1.0-with-linking-exception Files: debian/* Copyright: 2000-2012 Ralf Treinen License: QPL-1.0-with-linking-exception License: QPL-1.0-with-linking-exception As a special exception to the Q Public Licence, you may develop application programs, reusable components and other software items that link with the original or modified versions of the Software and are not made available to the general public, without any of the additional requirements listed in clause 6c of the Q Public licence. . THE Q PUBLIC LICENSE version 1.0 . Copyright (C) 1999 Troll Tech AS, Norway. Everyone is permitted to copy and distribute this license document. . The intent of this license is to establish freedom to share and change the software regulated by this license under the open source model. . This license applies to any software containing a notice placed by the copyright holder saying that it may be distributed under the terms of the Q Public License version 1.0. Such software is herein referred to as the Software. This license covers modification and distribution of the Software, use of third-party application programs based on the Software, and development of free software which uses the Software. . Granted Rights . 1. You are granted the non-exclusive rights set forth in this license provided you agree to and comply with any and all conditions in this license. Whole or partial distribution of the Software, or software items that link with the Software, in any form signifies acceptance of this license. . 2. You may copy and distribute the Software in unmodified form provided that the entire package, including - but not restricted to - copyright, trademark notices and disclaimers, as released by the initial developer of the Software, is distributed. . 3. You may make modifications to the Software and distribute your modifications, in a form that is separate from the Software, such as patches. The following restrictions apply to modifications: . a. Modifications must not alter or remove any copyright notices in the Software. . b. When modifications to the Software are released under this license, a non-exclusive royalty-free right is granted to the initial developer of the Software to distribute your modification in future versions of the Software provided such versions remain available under these terms in addition to any other license(s) of the initial developer. . 4. You may distribute machine-executable forms of the Software or machine-executable forms of modified versions of the Software, provided that you meet these restrictions: . a. You must include this license document in the distribution. . b. You must ensure that all recipients of the machine-executable forms are also able to receive the complete machine-readable source code to the distributed Software, including all modifications, without any charge beyond the costs of data transfer, and place prominent notices in the distribution explaining this. . c. You must ensure that all modifications included in the machine-executable forms are available under the terms of this license. . 5. You may use the original or modified versions of the Software to compile, link and run application programs legally developed by you or by others. . 6. You may develop application programs, reusable components and other software items that link with the original or modified versions of the Software. These items, when distributed, are subject to the following requirements: . a. You must ensure that all recipients of machine-executable forms of these items are also able to receive and use the complete machine-readable source code to the items without any charge beyond the costs of data transfer. . b. You must explicitly license all recipients of your items to use and re-distribute original and modified versions of the items in both machine-executable and source code forms. The recipients must be able to do so without any charges whatsoever, and they must be able to re-distribute to anyone they choose. . c. If the items are not available to the general public, and the initial developer of the Software requests a copy of the items, then you must supply one. . Limitations of Liability . In no event shall the initial developers or copyright holders be liable for any damages whatsoever, including - but not restricted to - lost revenue or profits or other direct, indirect, special, incidental or consequential damages, even if they have been advised of the possibility of such damages, except to the extent invariable law, if any, provides otherwise. . No Warranty . The Software and this license document are provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. . Choice of Law . This license is governed by the Laws of France. debian/watch0000644000000000000000000000010112247275633010222 0ustar version=2 http://hevea.inria.fr/distri/hevea-([0-9\.]*)\.tar\.gz debian/compat0000644000000000000000000000000212247275633010377 0ustar 9 debian/rules0000755000000000000000000000071512247275633010264 0ustar #!/usr/bin/make -f DEB_DESTDIR = debian/hevea %: dh $@ --with=ocaml,tex override_dh_auto_configure: -rm config.sh $(MAKE) config.sh\ PREFIX=/usr\ LIBDIR=/usr/share/hevea\ LATEXLIBDIR=/usr/share/texmf/tex/latex/misc override_dh_auto_clean: $(MAKE) clean cd debian/examples; make clean override_dh_auto_build: $(MAKE) byte override_dh_auto_install: $(MAKE) install TARGET=byte DESTDIR=$(DEB_DESTDIR) -rm $(DEB_DESTDIR)/usr/share/hevea/imagen debian/NEWS0000644000000000000000000000166012247275633007703 0ustar hevea (1.10-1) experimental; urgency=low The "-charset" option is no longer supported. If the charset of your document cannot be determined from the TeX document (for instance from the usage of the inputenc package) you have to use the method described in section 8.6 (Changing the Charset) of the tutorial. -- Ralf Treinen Tue, 28 Aug 2007 09:09:43 +0200 hevea (1.09-3) unstable; urgency=low The following options are now depreciated: "-francais" and "-symbol". -- Ralf Treinen Wed, 03 Jan 2007 09:14:42 +0100 hevea (1.08-1) unstable; urgency=low Mathematical and other specials symbols to HTML entities, thus replacing the symbol font face used in earlier versions. The now obsolete "-nosymb" option is no longer supported. HeVeA can now be customized through style sheets. -- Ralf Treinen Wed, 9 Mar 2005 23:24:50 +0100 debian/gbp.conf0000644000000000000000000000003612247275726010622 0ustar [DEFAULT] pristine-tar = True debian/hevea.examples0000644000000000000000000000002212247275633012023 0ustar debian/examples/* debian/hevea.install0000644000000000000000000000004212247275633011655 0ustar html/gif.hva usr/share/hevea/html debian/changelog0000644000000000000000000004763312247276075011071 0ustar hevea (2.09-2) unstable; urgency=low * Compile with OCaml 4.01.0 -- Stéphane Glondu Fri, 08 Nov 2013 20:03:21 +0100 hevea (2.09-1) unstable; urgency=low [ Stéphane Glondu ] * Bump debhelper compat level to 9 * Update Vcs-* [ Ralf Treinen ] * New upstream release * Now suggests texlive-latex-extra. Add a README.Debian that explains that it is needed to use the "toimage" enviroment of hevea. Also add a note to examples/pictures/README. -- Ralf Treinen Sun, 01 Sep 2013 20:29:41 +0200 hevea (2.06-3) experimental; urgency=low * Compile with OCaml >= 4 * Bump debhelper compat level to 9 * Update Vcs-* -- Stéphane Glondu Thu, 11 Jul 2013 16:05:05 +0200 hevea (2.06-2) unstable; urgency=low * Upload to unstable. -- Ralf Treinen Mon, 06 May 2013 20:48:42 +0200 hevea (2.06-1) experimental; urgency=low * New upstream release. -- Ralf Treinen Wed, 03 Apr 2013 08:17:48 +0200 hevea (2.03-1) experimental; urgency=low * New upstream release -- Ralf Treinen Thu, 07 Mar 2013 19:15:46 +0100 hevea (2.02-1) experimental; urgency=low * New upstream release. * Standards-Version 3.9.4 (no change) * Long package description: drop the phrase concerning the patch replacing the default image format since this is no longer true (since version 2.0). * Bump build-dependency on ocaml to >=3.12, following upstream's README. -- Ralf Treinen Wed, 30 Jan 2013 09:50:06 +0100 hevea (2.00-1) experimental; urgency=low * New upstream version - dropped patch nogif since upstream has now followed debian in using png as default image format. - dropped patch gs-options which is now applied by upstream. * debian/rules: - pass the DESTDIR variable in the install target, not in the configure target. - install target: remove usr/share/hevea/imagen, since upstream installs that file already in /usr/bin. * Add debian/hevea.links: - Link for /usr/bin/hevea from /usr/share/hevea. Necessary since hevea excepts imagen to live in that directory. * Standards-version 3.9.3: - debian/copyright: migrate to machine-readable format 1.0 * debian/control: - dropped Sylvain le Gall from uploaders, on his request. * debian/manpages/hevea.1: - dropped the paragraph on using a different default image format as upstream, since it no longer applies. - fixed a typo (missing space) - added the option -rsz * debian/manpages/hacha.1: - introduced subsections for different types of options - added options -rsz, -tocter, --help, -version. - fixed a typo (htmlcut -> hacha) * debian/manpages/imagen.1 - dropped the paragraph on using a different default image format as upstream, since it no longer applies. - small improvements in description of options. * debian/README.Debian - dropped this file, it no longer applies since debian and upstream now use the same default image format. -- Ralf Treinen Wed, 26 Sep 2012 11:47:21 +0200 hevea (1.10-14) unstable; urgency=low * Rebuild with ocaml 3.12.1 (no source changes) -- Stéphane Glondu Tue, 01 Nov 2011 20:30:23 +0100 hevea (1.10-13) unstable; urgency=low * Convert to dh, drop dependency on cdbs, install gif.hva via dh_install. Bump dependency on debhelper * Use dh_ocaml (>= 0.9) to get binary dependencies in variable ${ocaml:Depends} (closes: 599311). * Bump Standards-Version to 3.9.2 (no change) -- Ralf Treinen Sun, 17 Apr 2011 19:01:56 +0200 hevea (1.10-12) unstable; urgency=low [ Stéphane Glondu ] * debian/control: update my e-mail address [ Ralf Treinen ] * Remove Zack from uploaders on his request. * Patch gs-options: call gs with additional options -P- -dSAFER (closes: #584009) -- Ralf Treinen Tue, 01 Jun 2010 20:18:49 +0200 hevea (1.10-11) unstable; urgency=low * Standards-Version 3.8.4 (no change) * Recompiled with ocaml 3.11.2 * Do not use asterisks in debian/NEWS to separate items. -- Ralf Treinen Mon, 08 Feb 2010 00:02:31 +0100 hevea (1.10-10) unstable; urgency=low * Standards-version 3.8.3 (no change) * Source format 3.0 (quilt): - add debian/sources/format - drop build-dependency on dpatch - no more patching in debian/rules - rename patches quilt-style * removed dependency on obsolete tetex-bin -- Ralf Treinen Wed, 13 Jan 2010 20:48:14 +0100 hevea (1.10-9) unstable; urgency=low * debian/rules: added call to dh_installtex in the post deb preparation stage (closes: 536833). -- Ralf Treinen Tue, 21 Jul 2009 19:00:20 +0200 hevea (1.10-8) unstable; urgency=low [ Ralf Treinen ] * Update standards-version to 3.8.1 (no change) * Update DH level, and build-dependency on debhelper, to 7 * Rebuild with ocaml 3.11.1 [ Stephane Glondu ] * Switch packaging to git -- Ralf Treinen Wed, 24 Jun 2009 20:53:48 +0200 hevea (1.10-7) unstable; urgency=low [ Ralf Treinen ] * switch to cdbs build system, build-depend on cdbs and dh-ocaml * Standards-Version 3.8.0 (no change). * Dependencies: switch order in "tetex-bin|texlive-base" * Dependencies: changed "gs" to "ghostscript" * Renamed debian/dirs -> debian/hevea.dirs * Add debian/hevea.{manpages,examples} * Switch build-dependency on ocaml back to >= 3.07 [ Stephane Glondu ] * Remove Julien from Uploaders -- Ralf Treinen Sun, 22 Feb 2009 22:56:49 +0100 hevea (1.10-6) experimental; urgency=low * Rebuild with OCaml 3.11.0 * Add myself to Uploaders -- Stephane Glondu Sun, 01 Feb 2009 12:09:02 +0100 hevea (1.10-5) unstable; urgency=low * Upload to unstable for ocaml 3.10.2 -- Ralf Treinen Sun, 18 May 2008 21:59:02 +0200 hevea (1.10-4) experimental; urgency=low * Recompile with ocaml 3.10.2. -- Ralf Treinen Thu, 07 Feb 2008 08:40:46 +0100 hevea (1.10-3) unstable; urgency=low [ Ralf Treinen ] * debian/control: use Homepage field for upstream URL. * Recompile with ocaml 3.10.1 * Update Uploaders. * Manpages: do not use .UR macro. * Standards-Version 3.7.3 (no change) [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir -- Ralf Treinen Thu, 07 Feb 2008 08:35:44 +0100 hevea (1.10-2) unstable; urgency=low * Upload to unstable. -- Ralf Treinen Thu, 30 Aug 2007 20:44:23 +0200 hevea (1.10-1) experimental; urgency=low * New upstream version. This version - adds supports for UTF8 input encoding (closes: Bug#397496) - fixes a bug with the parsing of macro arguments (closes: Bug#405994) * Changed priority back to "optional" as package depends on the virtual package "gs". * debian/rules: new target "config.sh" due to modified upstream Makefile * debian/rules: dropped installation of xxdate.exe as this is now fixed in the upstream Makefile. * Dropped patch koi8r as this is now done by upstream * Patches 02_nogif: adapted to modified upstream * Dropped patch 03_charset: revert to upstream method of specifying the charset. -- Ralf Treinen Mon, 27 Aug 2007 09:25:03 +0200 hevea (1.09-4) experimental; urgency=low * Rebuild for ocaml-3.10. * Use dh_installtex instead of hand-rolled post{inst,rm}. Build-depends on tex-common. * Lowered priority to extra as package depends on gs, which is of priority extra. * Do not ignore errors of "make clean" in "clean" target of debian/rules. -- Ralf Treinen Wed, 04 Jul 2007 17:40:09 +0200 hevea (1.09-3) unstable; urgency=low * Fixed typos in debian/NEWS. -- Ralf Treinen Sat, 6 Jan 2007 12:08:37 +0100 hevea (1.09-2) experimental; urgency=low * [Julien Cristau] - Remove inactive people from the Uploaders field. * [Ralf Treinen] - hevea manpage: removed "noiso" and "symbols" options, fixed spelling of "moreentities" option (closes: Bug#402064). Updated options "francais" (closes: Bug#402065). Added a note about deprecated options to NEWS. - Patch 04_koi8r.dpatch: KOI8-R inputencoding taken from experimental hevea version (closes: Bug#404474). -- Ralf Treinen Wed, 3 Jan 2007 16:56:34 +0100 hevea (1.09-1) unstable; urgency=low * New upstream release (closes: Bug#394133) * updated upstream url in debian/control (package description) and debian/watch. * Adapted patches to new upstream version. * Added manpage for bibhva. * Updated url of HeVeA homepage in manpages. * examples/bibtex: put all needed crossrefs and abbreviations into rewriting.bib; replace iso8859-1 characters by portable latex; fix Makefile to use bibhva and to uncompress rewriting.bib when necessary * Manpages: document the new command line options -- Ralf Treinen Sat, 21 Oct 2006 19:12:35 +0200 hevea (1.08-5) unstable; urgency=low * Removed mechanism of rebuilding debian/control from debian/control.in since this is no longer needed. Build-depend on ocaml >= 3.07, and have dependency on ocaml runtime system be filled in by dh_gencontrol. * Install xxdate.exe into /usr/share/hevea. * Add a new example in /usr/doc/hevea/examples on how to use the date functionality in hevea. -- Ralf Treinen Wed, 19 Jul 2006 22:46:00 +0200 hevea (1.08-4) unstable; urgency=low * Changed dependency on tetex-bin into tetex-bin | texlive-base (closes: Bug#356369). * Fixed a bug in long description ("HTML entities"). * Fixed some typos in manpages (closes: Bug#365604). * Standards-Version 3.7.2 (no change) * (Build-)depends on ocaml-3.09.2) * Turn build-depends-indep on debhelper, dpatch into build-depends -- Ralf Treinen Tue, 16 May 2006 19:44:56 +0200 hevea (1.08-3) unstable; urgency=low * Bumped (Build-)dependency on ocaml to 3.09.1 * New uploader Sylvain Le Gall * Automate update of debian/control. -- Ralf Treinen Sat, 7 Jan 2006 10:11:15 +0100 hevea (1.08-2) unstable; urgency=low * Bumped (build-)dependency on ocaml-* to 3.09.0. * Standards-Version 3.6.2 (no change). * Added debian/svn-debalayout -- Ralf Treinen Sat, 5 Nov 2005 15:01:46 +0100 hevea (1.08-1) unstable; urgency=low * New upstream release. * Bumped (build-)dependency on ocaml-* to 3.08.3 * Stated in manpages that documentation is in non-free * Removed bogus file debian/files. * Put our own manpages in directory debian/manpages. * Use dh_installman instead of dh_installmanpages. * Removed patches 01_imagen_typo, 04_rawtext, 05_licence since fixed by upstream. * Adapted patches 02_nogif, 03_charset to new source version * debian/rules: use LATEXLIBDIR variable of Makefile to install hevea.sty * Added example for style sheets and special symbols. * Updated package description for translation of special sysmbols. * Updated manpage to reflect new/removed options. -- Ralf Treinen Sun, 15 May 2005 21:05:54 +0200 hevea (1.07-5) unstable; urgency=low * New licence received from upstream author by email : Clause 6c of QPL does not apply, and no choice of venue (patch 05_license) * Distinguish "licence" and "copyright" in debian/copyright (closes: Bug#290174) * New uploader Samuel Mimram * Short description starts now on a lower case letter, and is now an appositive clause * Corrected url of upstream web page in long description -- Ralf Treinen Thu, 20 Jan 2005 09:03:15 +0100 hevea (1.07-4) unstable; urgency=low * No longer suggest netpbm-nonfree (closes: Bug#271682). -- Ralf Treinen Sun, 14 Nov 2004 16:52:45 +0100 hevea (1.07-3) unstable; urgency=low * Compile for ocaml version 3.08. * Refine (build-) dependency on ocaml to nox packages. * Changed Maintainer to Debian Ocaml Maintaines. -- Ralf Treinen Thu, 22 Jul 2004 19:22:37 +0200 hevea (1.07-2) unstable; urgency=low * Backport Luc Maranget's patches from the unstable beta release: - rawhtml environments outputs to html only (closes: Bug#226212). - new rawtext environment which outputs to ascii and info output. this makes it possible to generate index information for info output (closes: Bug#173940). * Added package Uploaders: Sven, Jerome, Remi, Zack. * Remove in clean target .cvsignore -- Ralf Treinen Mon, 10 May 2004 21:38:07 +0200 hevea (1.07-1) unstable; urgency=low * New upstream release. * Build for ocaml-3.07. * Standards-Version 3.6.1 (no changes). * File debian/compat instead of variable DH_COMPAT. * Patch managment with dpatch. * Porting of patches from 1.06-9: - standard image format png: 01_nogif.dpatch - installation of hevea.sty in tetex dir: now in debian/rules - imagen: upstream seems to have incorporated the patches by Francois-Rene Rideau. - infoRef.mll: upstream has incorporated our patch to remove spurious dot after "\tUp: (dir)". - determination of HTML charset: 03_charset.dpatch -- Ralf Treinen Sun, 5 Oct 2003 11:48:56 +0200 hevea (1.06-9) unstable; urgency=low * Don't insert a full stop in info output after reference "Up: (dir)" (file: infoRef.mll, closes: Bug#179377). -- Ralf Treinen Sun, 2 Feb 2003 18:25:21 +0100 hevea (1.06-8) unstable; urgency=low * Installed improved imagen script by Francois-Rene Rideau . * Package description: mention that hevea can produce info and text (closes: Bug#173928). Some minor modifications. -- Ralf Treinen Mon, 30 Dec 2002 12:01:21 +0100 hevea (1.06-7) unstable; urgency=low * Recompiled with ocaml 3.06-13. Depends on ocaml-base-3.06-1. Build-depends on ocaml-3.06.1 (closes: Bug#173327). -- Ralf Treinen Mon, 16 Dec 2002 19:51:14 +0100 hevea (1.06-6) unstable; urgency=low * DH_COMPAT=4, build-depends on debhelper >= 4.0 * Removed -g compilation flag. * Used new imagen script provided by Luc Maranget. This should fix the problem with the transparent color in png images. * Removed some cruft from debian/rules (configure target, build-stamp). * Improved examples, have picture examples test transparency. * Updated README.debian: the error concerning png images with transparent background seems to have been our fault, not netscape's. -- Ralf Treinen Sat, 14 Dec 2002 15:24:21 +0100 hevea (1.06-5) unstable; urgency=low * Standards-Version: 3.5.8. * debian/rules: use the value of DEB_BUILD_OPTIONS to decide whether to pass a compile option in the OCAMLFLAGS variable. * Added an option "-charset" to specify the charset to be printed in the META tag. The default is the output of "locale charmap" (closes: Bug#165447) . * Changed (build-)dependency from "ocaml >> 3.06, ocaml << 3.06" to ocaml-3.06, as recommended by the ocaml packaging policy. -- Ralf Treinen Mon, 25 Nov 2002 21:21:39 +0100 hevea (1.06-3) unstable; urgency=low * Changed (build)-dependency to ocaml >= 3.06 & << 3.07, since future versions of ocaml are not guaranteed to work on 3.06 bytecode. -- Ralf Treinen Thu, 3 Oct 2002 22:52:24 +0200 hevea (1.06-2) unstable; urgency=low * Recompiled for ocaml 3.06 (closes: Bug#158417), bumped up build-dependency on ocaml and dependency on ocaml-base to >= 3.06. * Removed in README.Debian the note on compilation, since obsolote. -- Ralf Treinen Fri, 30 Aug 2002 20:15:39 +0200 hevea (1.06-1) unstable; urgency=low * New upstream release (closes: Bug#148283). * Upstream has now added an option to imagen for the generation of png images. Re-apply our old patch to make png generation standard, instead of gif. * Added "Suggests: hevea-doc". * Install "esponja" in /usr/bin. * Wrote a manpage for esponja. * Added a "gif.hva" similar to the "png.hva" provided by upstream. Changed the hevea manpage accordingly. * Updated the manpages for hevea, hacha, imagen: new options, refer to the documentation installed by the hevea-doc package, add upstream author. * Install some simple examples in /usr/share/doc/hevea/examples. -- Ralf Treinen Mon, 27 May 2002 22:16:00 +0200 hevea (1.05.2002.02.15+png-1) unstable; urgency=low * New upstream release. This release solves a bug in closing files (Closes: Bug#137730). * For the moment the "esponja" executable doesn't seem to do anything useful. Stow it in /usr/share/hevea. -- Ralf Treinen Fri, 15 Mar 2002 21:01:41 +0100 hevea (1.05-8+png) unstable; urgency=low * removed spurious space in the definition of \cyan in html/color.hva (patch sent in by Salvador Abreu - thanks!). Closes: Bug#136243. * dependencies: removed dvips (superseeded now by tetex-bin), removed pnmtopng (superseeded now by netpbm). -- Ralf Treinen Fri, 1 Mar 2002 00:02:39 +0100 hevea (1.05-7+png) unstable; urgency=low * compile to bytecode, make package arch independent. * DH_COMPAT=3. * cleanup debian/rules, remove automatic generation of copyright. * changed the hevea libdir from /usr/lib/hevea to /usr/share/hevea. * don't install pub.txt in /usr/share/doc/hevea. * require ocaml >= 3.04 for build, remove -custom option from ocamlc invocations in Makefile. * undo modification of variable settings in Makefile, instead pass variable settings as arguments to $(MAKE) in debian/rules. -- Ralf Treinen Sun, 20 Jan 2002 10:53:57 +0100 hevea (1.05-6+png) unstable; urgency=low * remove in the comments of postinst and postrm references to the defunct packaging manual (closes: Bug#100424). * merge README.debian into README.Debian * fix a glitch in the hevea manpage: a text line starting with the "." character was not dislayed (closes: Bug#113098). * Standards-Vesion 3.5.6.0 * debian/copyright: Author(s) -> Author * control: depends on one line * remove user emacs setting from changelog file -- Ralf Treinen Sat, 22 Sep 2001 16:23:01 +0200 hevea (1.05-5+png) unstable; urgency=low * Dependency on netpbm (>=2:9.10-1)| pnmtopng since pnmtopng came from the old pnmtopng package into netpbm (thanks to Georges Mariano for the hint). -- Ralf Treinen Thu, 15 Mar 2001 20:59:24 +0100 hevea (1.05-4+png) unstable; urgency=low * Modify hevea and imagen such that pictures are by default generated in png instead of gif. Added options -gif to hevea and imagen for generation of gif. Modify man pages accordingly. * By consequence of the above, the relation with netpbm-nonfree package can be downgraded from Depends to Suggested, and hevea comes back from contrib to main. -- Ralf Treinen Sun, 4 Mar 2001 14:10:39 +0100 hevea (1.05-3) unstable; urgency=low * Remove "Recommends: hevea-doc" since this package does not seem to become available in the near future (closes: Bug#80586) * Removed reference to the hevea-doc package from the man pages. -- Ralf Treinen Fri, 9 Feb 2001 21:32:56 +0100 hevea (1.05-2) unstable; urgency=low * Package has to move to contrib because of dependency on netpbm-nonfree. * Add dependency on netpbm-nonfree because hevea needs ppmtogif. * fixed typos in the imagen man page. -- Ralf Treinen Sat, 13 Jan 2001 14:44:28 +0100 hevea (1.05-1) unstable; urgency=low * Initial Release, taking over an inofficial packages by Georges Mariano. Closes: bug#79466. -- Ralf Treinen Sat, 16 Dec 2000 17:18:32 +0100 Local variables: End: debian/patches/0000755000000000000000000000000012247275633010630 5ustar debian/patches/series0000644000000000000000000000000012247275633012033 0ustar debian/hevea.links0000644000000000000000000000005112247275633011327 0ustar /usr/bin/imagen /usr/share/hevea/imagen debian/examples/0000755000000000000000000000000012247275633011017 5ustar debian/examples/README0000644000000000000000000000024512247275633011700 0ustar To try these examples you have to make a copy such that you have write permission, type "make", and then point your browser on the file "index.html". -Ralf Treinen debian/examples/style_sheets/0000755000000000000000000000000012247275633013532 5ustar debian/examples/style_sheets/text.tex0000644000000000000000000000206312247275633015241 0ustar \documentclass[11pt]{article} \usepackage{hevea} \usepackage{url} \newstyle{.section}{font-size:x-large; color:red; font-variant:small-caps} \newstyle{.subsection}{font-size:large; color:blue; background-color:pink} \title{Example of customizing \hevea{} through style sheets} \author{Ralf Treinen\\\url{mailto:treinen@debian.org}} \begin{document} \maketitle Starting with version 1.08, \hevea{} supports customization through style sheets. The customization is achieved through \verb|\newstyle| commands in the preamble of the docoment. \section{This is a Section Heading in a customized style} We have customized section headings to be set in red and small caps, using font size \texttt{x-large}. \subsection{This is a Subsection Heading in a customized style} We have customized subsection headings to be set in font size \texttt{large}, in blue on pink background. See the documentation, available through the \verb|hevea-doc| package from the \emph{non-free} section, or at \ahrefurl{http://pauillac.inria.fr/hevea/doc/index.html}, for details. \end{document} debian/examples/style_sheets/Makefile0000644000000000000000000000026012247275633015170 0ustar text.html: text.tex hevea text.tex text.dvi: text.tex latex text.tex text.ps: text.dvi dvips -o text.ps text.dvi clean: rm -f *.ps *.dvi *.html *.aux *.haux *log *.htoc debian/examples/pictures/0000755000000000000000000000000012247275633012655 5ustar debian/examples/pictures/README0000644000000000000000000000064112247275633013536 0ustar This example demonstrates how to generate pictures in the PNG format, which is the standard format for the Debian version of HeVeA (in contrast to the original HeVeA distribution which uses gif as its default image format). It also demonstrates how to obtain pictures in the GIF format. To run this example you need the package texlive-latex-extra to be installed (see the file /usr/share/doc/hevea/README.debian). debian/examples/pictures/text.tex0000644000000000000000000000107512247275633014366 0ustar \documentclass[11pt]{article} \usepackage{hevea} \usepackage{curves} \usepackage{color} \begin{document} Here is a beautiful picture which is beyond the capabilities of pure HTML. That is why we generate a picture here. We put the picture on a green background on order to test the transparency of the picture's background: \begin{bgcolor}{green} \begin{toimage} \begin{center} \setlength{\unitlength}{1pt} \linethickness{1mm} \begin{picture}(400,100) \closecurve(150,0, 190,100, 230,0) \end{picture} \end{center} \end{toimage} \imageflush \end{bgcolor} \end{document} debian/examples/pictures/Makefile0000644000000000000000000000044712247275633014322 0ustar all: png.html gif.html png.html: text.tex hevea -o png.html text imagen png gif.html: text.tex hevea gif.hva -o gif.html text imagen -gif gif text.ps: text.dvi dvips -o text.ps text.dvi text.dvi: text.tex latex text clean: rm -f *.dvi *.ps *.log *.image.tex *.png *.gif *.html *.aux debian/examples/index.tex0000644000000000000000000000171512247275633012654 0ustar \documentclass[11pt]{article} \usepackage{hevea} \title{Some simple test documents for \hevea} \begin{document} \maketitle \begin{enumerate} \item A simple example with math and tables \ahref{simple/text.tex}{[LaTeX{} input]} \ahref{simple/Makefile}{[Makefile]} \ahref{simple/text.html}{[Result]} \item An example involving bibtex \ahref{bibtex/context.tex}{[LaTeX{} input]} \ahref{bibtex/rewriting.bib}{[BibTeX{} input]} \ahref{bibtex/Makefile}{[Makefile]} \ahref{bibtex/context.html}{[Result]} \item An example with pictures \ahref{pictures/text.tex}{[LaTeX{} input]} \ahref{pictures/Makefile}{[Makefile]} \ahref{pictures/png.html}{[Result with PNG picture (default)]} \ahref{pictures/gif.html}{[Result with GIF picture (optional)]} \item A simple example showing customization through style sheets. \ahref{style_sheets/text.tex}{[LaTeX{} input]} \ahref{style_sheets/Makefile}{[Makefile]} \ahref{style_sheets/text.html}{[Result]} \end{enumerate} \end{document} debian/examples/simple/0000755000000000000000000000000012247275633012310 5ustar debian/examples/simple/README0000644000000000000000000000010112247275633013160 0ustar This is a simple example demonstrating the basic usage of hevea. debian/examples/simple/text.tex0000644000000000000000000000144612247275633014023 0ustar \documentclass[11pt]{article} \usepackage{hevea} \usepackage{url} \title{A simple example of the usage of \hevea} \author{Ralf Treinen\\\url{mailto:treinen@debian.org}} \begin{document} \maketitle This is a very simple example demonstrating some features of \hevea, a \LaTeX to HTML translator. \hevea knows of course about \emph{emphasizing text}, \textbf{bold text}, \texttt{typewriter font}, \textsc{small caps}, \textsl{slanted text}, and so on. It can set displayed formulas \[ e = mc^2 \] translate mathematical symbols like \[ \alpha\beta\gamma\omega \mapsto \Sigma\Pi \] and can set tabular material like \begin{center} \begin{tabular}{|l|cr|} \hline Year & Number & Remarks\\ \hline\hline 1998 & 5 & Bla\\ 1999 & 7 & Foo\\ 2000 &42 & Schtronk\\ \hline \end{tabular} \end{center} \end{document} debian/examples/simple/Makefile0000644000000000000000000000025112247275633013746 0ustar text.html: text.tex hevea text.tex text.dvi: text.tex latex text.tex text.ps: text.dvi dvips -o text.ps text.dvi clean: rm -f *.ps *.dvi *.html *.aux *.haux *log debian/examples/bibtex/0000755000000000000000000000000012247275633012274 5ustar debian/examples/bibtex/README0000644000000000000000000000014212247275633013151 0ustar This example demonstrates the use of HeVeA on documents using references from a bibtex data base. debian/examples/bibtex/rewriting.bib0000644000000000000000000001323612247275633014771 0ustar @string{jsc={Journal of Symblic Computation}} @string{springer={Springer Verlag}} @string{lncs={Lecture Notes in Computer Science}} @Article{Makanin:77, author = "G. S. Makanin", title = "The Problem of Solvability of Equations in a Free Semi-Group", journal = "Math. USSR Sbornik", volume = 32, number = 2, year = 1977, pages = "129--198", } @Article{Goldfarb:tcs81, author = "Warren D. Goldfarb", title = "The Undecidability of the Second-Order Unification Problem", journal = tcs, volume = 13, year = 1981, pages = "225--230", } @TechReport{Comon:rr699, author = "Hubert Comon", title = "Completion of Rewrite Systems with Membership Constraints", type = "Rapport de Recherche", number = 699, institution = "L.R.I., Universit\'e de Paris-Sud", month = sep, year = 1991 } @InProceedings{Comon:icalp92, author = "Hubert Comon", title = "Completion of Rewrite Systems with Membership Constraints", pages = "392--403", crossref = "icalp92", } @TechReport{Schauss:rr94-12, author = "Manfred Schmidt-Schau\ss", title = "Unification of Stratified Second-Order Terms", type = "Internal Report", number = "12/94", institution = {Johann\--Wolfgang\--Goethe\--Universit\"at}, address = "Frankfurt, Germany", year = "1994", url = "http://www.ki.informatik.uni-frankfurt.de/papers/papers/SO.ps.gz", } g @Article{schmidt-schauss:jsc97, author = "Manfred Schmidt-Schau{\ss}", title = "A Unification Algorithm for Distributivity and a Multiplicative Unit", journal = jsc, year = 1997, pages = "315--344", volume = 22, number = 3, } @InProceedings{schmidt-schauss:rta98, author = "Manfred Schmidt-Schau{\ss} and Klaus Schulz", title = "On the Exponent of Peridicity of Minimal Solutions of Context Equations", crossref = "rta98", pages = "61--75", } @InProceedings{Levy:rta96, author = "Jordi Levy", title = "Linear Second-Order Unification", pages = "332--346", crossref = "rta96", } @Article{LevyAgust:jsc96, author = "Jordi Levy and Jaume Agust\'\i", title = "Bi-rewriting Systems", journal = jsc, year = 1996, month = sep, volume = 22, number = 3, pages = "279--314", } @InProceedings{Niehren:cade97, author = "Joachim Niehren and Manfred Pinkal and Peter Ruhrberg", title = "On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting", crossref = "cade97", pages = "34--48", } @InProceedings{Schauss:cade99, author = "Manfred Schmidt-Schau{\ss} and Klaus Schulz", title = "Solvability of Context Unification with two Context Variables is Decidable", crossref = "cade99", pages = "67-81", } @InProceedings{Levy:rta00, author = "Jordi Levy and Mateu Villaret", title = "Linear Second-Order Unification and Context Unification with Tree-Regular Constraints", crossref = "rta00", pages = "156--171", } @TechReport{Schauss:cisrep99, author = "Manfred Schmidt-Schau{\ss} and Klaus Schulz", title = "Solvability of Context Unification with two Context Variables is Decidable", institution = {CIS, Universit\"at M\"unchen}, address = {M\"unchen, Germany}, type = "CIS-Report", number = "98-114", year = 1999, url = "ftp://ftp.cis.uni-muenchen.de/pub/cis-berichte/CIS-Bericht-98-114.ps", } @proceedings{icalp92, booktitle = "19th International Colloquium on Automata, Languages and Programming", title = "19th International Colloquium on Automata, Languages and Programming", address = "Wien, Austria", editor = "Werner Kuich", publisher = springer, series = lncs, volume = 623, year = 1992, month = jul, } @proceedings{cade97, booktitle = "14th International Conference on Automated Deduction", title = "14th International Conference on Automated Deduction", address = "Townsville, Australia", editor = "William McClune", year = 1997, month = jul, publisher = springer, series = lnai, volume = 1249 } @Proceedings{cade99, booktitle = "16th International Conference on Automated Deduction", title = "16th International Conference on Automated Deduction", address = "Trento, Italy", month = jul, year = 1999, editor = "Harald Ganzinger", publisher = springer, series = lnai, volume = 1632 } @Proceedings{rta98, booktitle = "\ahref{http://rewriting.loria.fr/rta/}{9th International Conference on Rewriting Techniques and Applications}", title = "\ahref{http://rewriting.loria.fr/rta/}{9th International Conference on Rewriting Techniques and Applications}", editor = "Tobias Nipkow", publisher = springer, year = 1998, month = apr, address = "Tsukuba, Japan", series = lncs, volume = 1379, } @Proceedings{rta96, booktitle = "\ahref{http://www.rewriting.org/rta/}{7th International Conference on Rewriting Techniques and Applications}", title = "\ahref{http://www.rewriting.org/rta/}{7th International Conference on Rewriting Techniques and Applications}", editor = "Harald Ganzinger", publisher = springer, year = 1996, month = jul, address = "New Brunswick, NJ, USA", series = lncs, volume = 1103, } @Proceedings{rta00, booktitle = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}", title = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}", editor = "Leo Bachmair", publisher = springer, series = lncs, volume = 1833, month = jul, year = 2000, address = "Norwich, UK" } debian/examples/bibtex/context.tex0000644000000000000000000000604412247275633014506 0ustar \documentclass[11pt]{article} \usepackage{a4} \usepackage{hevea} \begin{document} \setlength{\parskip}{6pt} \setlength{\parindent}{0pt} \section*{Context Unification} \begin{abstract} Are {\em context unification} and {\em linear second order unification} decidable? \end{abstract} {\em Context unification} and {\em linear second order unification} are closely related, they both generalize string unification (which is known to be decidable, \cite{Makanin:77}) and are special cases of second order unification (which is know to be undecidable, \cite{Goldfarb:tcs81}). Context unification (\cite{Comon:rr699}, \cite{Schauss:rr94-12}) is unification of first-order terms with context variables that range over terms with one hole. Linear Second Order Unification is second-order unification where the domain of functions is restricted to $\lambda$-terms with exactly one occurrence of any bound variable (there can be several bound variables in contrast to context unification allowing for just one hole) Applications are \begin{itemize} \item solving membership constraints in completion of contraint rewriting (\cite{Comon:rr699}, \cite{Comon:icalp92}) \item solving constraints occurring in Distributive Unification (\cite{schmidt-schauss:jsc97}) \item Extended Critical Pairs in Bi-Rewriting Systems (\cite{LevyAgust:jsc96}) \item Semantics of ellipses in natural language (\cite{Niehren:cade97}) \item One-Step Rewriting constraints (\cite{Niehren:cade97}) \end{itemize} Some special cases have been solved: \begin{itemize} \item Hubert Comon \cite{Comon:rr699} solved a special case where any occurrence of the same context variable is always applied to the same term, \item Manfred Schmidt-Schau{\ss} \cite{Schauss:rr94-12} (see also \cite{schmidt-schauss:jsc97}) solved the case of so-called {\em stratified} context unification, where for any occurrence of the same second-order variable the string of second-order variables from this occurrence to the root of the containing term is the same, \item Jordi Levy \cite{Levy:rta96} (see also \cite{Niehren:cade97}) showed that linear-second order unification is decidable when any variable has at most two occurrences. \item Manfred Schmidt-Schau{\ss} and Klaus Schulz \cite{Schauss:cade99} showed that solvability is decidable for systems of context equations containing only two context variables (having an arbitrary number of occurrences in the system) and an arbitray number of first-order variables. \end{itemize} Progress towards a decidability proof along the lines of Makanin's proof for string-unification has been reported in~\cite{schmidt-schauss:rta98}. Levy and Villaret \cite{Levy:rta00} show how to reduce linear second-order unification to context unification plus membership predicates in regular tree languages, and discuss a possible way of showing decidability of the latter. \nocite{Schauss:cisrep99} \bibliographystyle{alpha} \bibliography{rewriting} \end{document} debian/examples/bibtex/Makefile0000644000000000000000000000101212247275633013726 0ustar context.html: context.tex context.hbbl hevea -fix context.tex context.hbbl: context.tex rewriting.bib hevea context bibhva context rewriting.bib: rewriting.bib.gz gunzip -c rewriting.bib.gz > rewriting.bib context.ps: context.dvi dvips -o context.ps context.dvi context.dvi: context.tex context.bbl latex context bibtex context latex context -(grep -q "Rerun" context.log && latex context) -(grep -q "Rerun" context.log && latex context) clean: rm -f *.ps *.dvi *.html *.aux *.haux *log *.blg *.bbl *.hbbl debian/examples/date/0000755000000000000000000000000012247275633011734 5ustar debian/examples/date/README0000644000000000000000000000010112247275633012604 0ustar This is a simple example demonstrating the basic usage of hevea. debian/examples/date/text.tex0000644000000000000000000000056412247275633013447 0ustar \documentclass[11pt]{article} \usepackage{hevea} \usepackage{url} \title{A simple example of the usage of \hevea{} using date} \author{Ralf Treinen\\\url{mailto:treinen@debian.org}} \begin{document} \maketitle Today's date is \today. Note that using the \texttt{\\today} macro in \hevea{} requires passing the argument \texttt{-exec xxdate.exe} to hevea. \end{document} debian/examples/date/Makefile0000644000000000000000000000027212247275633013375 0ustar text.html: text.tex hevea -exec xxdate.exe text.tex text.dvi: text.tex latex text.tex text.ps: text.dvi dvips -o text.ps text.dvi clean: rm -f *.ps *.dvi *.html *.aux *.haux *log debian/examples/Makefile0000644000000000000000000000047012247275633012460 0ustar all: index.html (cd simple; make) (cd date; make) (cd bibtex; make) (cd pictures; make) (cd style_sheets; make) index.html: index.tex hevea index.tex clean: -rm index.html (cd simple; make clean) (cd date; make clean) (cd bibtex; make clean) (cd pictures; make clean) (cd style_sheets; make clean)