lib/Tools/latex
Sat, 27 Jul 2013 22:20:25 +0200 wenzelm discontinued historic document formats;
Thu, 26 Jul 2012 14:24:27 +0200 wenzelm allow spaces in file names;
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)
less more (0) -30 -10 -7 tip