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