lib/Tools/latex
Tue, 18 May 2021 17:19:19 +0200 wenzelm more uniform bibtex error, without using perl (see 4710dd5093a3);
Tue, 18 May 2021 16:18:39 +0200 wenzelm tuned;
Tue, 18 May 2021 16:15:19 +0200 wenzelm clarified command-line options;
Tue, 18 May 2021 16:01:01 +0200 wenzelm obsolete (see 5a3a2a52648d);
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Mon, 31 Aug 2020 16:48:31 +0200 wenzelm more informative bibtex errors;
Fri, 22 Dec 2017 18:32:59 +0100 wenzelm discontinued 'display_drafts' command;
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;
less more (0) -12 tip