Thu, 02 Dec 2010 23:09:54 +0100 | wenzelm | isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead; | file | diff | annotate |
Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
Sat, 24 May 2008 02:19:09 +0200 | urbanc | fixed improper handling of return code (pdf and ps.gz formats) | file | diff | annotate |
Sun, 18 May 2008 16:19:48 +0200 | urbanc | proper handling of the return code for the ps-format (fixes a bug) | file | diff | annotate |
Thu, 15 May 2008 20:02:37 +0200 | wenzelm | removed obsolete thumbpdf; | file | diff | annotate |
Tue, 08 Apr 2008 15:47:10 +0200 | wenzelm | removed obsolete AUTO_PERL feature; | file | diff | annotate |