Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | file | diff | annotate |
Thu, 26 Jul 2012 14:24:27 +0200 | wenzelm | allow spaces in file names; | file | diff | annotate |
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 |