| Tue, 18 May 2021 17:19:19 +0200 | wenzelm | more uniform bibtex error, without using perl (see 4710dd5093a3); | file | diff | annotate |
| Tue, 18 May 2021 16:18:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 18 May 2021 16:15:19 +0200 | wenzelm | clarified command-line options; | file | diff | annotate |
| Tue, 18 May 2021 16:01:01 +0200 | wenzelm | obsolete (see 5a3a2a52648d); | file | diff | annotate |
| Sat, 26 Sep 2020 14:29:46 +0200 | wenzelm | discontinued obsolete DVI document format and related settings/tools; | file | diff | annotate |
| Mon, 31 Aug 2020 16:48:31 +0200 | wenzelm | more informative bibtex errors; | file | diff | annotate |
| Fri, 22 Dec 2017 18:32:59 +0100 | wenzelm | discontinued 'display_drafts' command; | file | diff | annotate |
| 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 |
| 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 |
| Tue, 19 Jul 2005 17:21:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Jun 2005 14:16:45 +0200 | haftmann | remove CVS id from *.sty latex styles | file | diff | annotate |
| Wed, 01 Jun 2005 14:16:45 +0200 | haftmann | remove CVS id from *.sty latex styles | file | diff | annotate |
| Wed, 01 Jun 2005 08:58:25 +0200 | haftmann | improved *.sty handling | file | diff | annotate |
| Wed, 01 Jun 2005 08:57:49 +0200 | haftmann | improved *.sty handling | file | diff | annotate |
| Wed, 01 Jun 2005 08:56:58 +0200 | haftmann | improved *.sty handling | file | diff | annotate |
| Tue, 24 May 2005 14:28:59 +0200 | haftmann | ML_idf antiquotation | file | diff | annotate |
| Tue, 26 Apr 2005 19:50:57 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| Wed, 20 Apr 2005 16:03:17 +0200 | quigley | Removed remaining references to Main.thy in reconstruction code. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 18 Jun 2004 20:07:59 +0200 | wenzelm | more generous treatment of packages in draft prints; | file | diff | annotate |
| Sat, 12 Jun 2004 22:44:58 +0200 | wenzelm | added option 'isatool latex -o syms'; | file | diff | annotate |
| Thu, 08 Jan 2004 04:32:52 +0100 | kleing | run makeindex if necessary | file | diff | annotate |
| Thu, 24 Jan 2002 22:41:44 +0100 | wenzelm | copy_styles replaces overly conservative update_styles; | file | diff | annotate |
| Sat, 20 Oct 2001 20:15:44 +0200 | wenzelm | dvips -q; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 24 Mar 2000 14:40:51 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 24 Mar 2000 13:47:36 +0100 | wenzelm | improved dump of styles; | file | diff | annotate |
| Fri, 24 Mar 2000 11:52:19 +0100 | wenzelm | -o sty; | file | diff | annotate |
| Thu, 14 Oct 1999 15:03:34 +0200 | wenzelm | support thumbpdf (via 'png' output format); | file | diff | annotate |
| Wed, 13 Oct 1999 19:43:52 +0200 | wenzelm | tuned usage; | file | diff | annotate |
| Sat, 09 Oct 1999 23:16:59 +0200 | wenzelm | support bibtex; | file | diff | annotate |
| Fri, 08 Oct 1999 15:03:27 +0200 | wenzelm | pass RC; | file | diff | annotate |
| Thu, 07 Oct 1999 12:38:12 +0200 | wenzelm | tuned dirname; | file | diff | annotate |
| Thu, 07 Oct 1999 12:27:44 +0200 | wenzelm | Isabelle wrapper for LaTeX (and friends); | file | diff | annotate |