| Mon, 20 Jul 2009 20:03:19 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Thu, 26 Feb 2009 20:03:32 +0100 | wenzelm | \bibliographystyle{abbrv} for newer ref manuals; | file | diff | annotate |
| Sun, 30 Nov 2008 14:03:46 +0100 | wenzelm | removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; | file | diff | annotate |
| Tue, 18 Nov 2008 18:25:10 +0100 | wenzelm | moved table of standard Isabelle symbols to isar-ref manual; | file | diff | annotate |
| Mon, 15 Sep 2008 20:51:58 +0200 | wenzelm | converted symbols.tex; | file | diff | annotate |
| Mon, 15 Sep 2008 20:22:38 +0200 | wenzelm | converted misc.tex; | file | diff | annotate |
| Mon, 15 Sep 2008 19:42:22 +0200 | wenzelm | converted present.tex; | file | diff | annotate |
| Mon, 15 Sep 2008 16:50:35 +0200 | wenzelm | load underscore package after iman etc.; | file | diff | annotate |
| Mon, 15 Sep 2008 16:42:09 +0200 | wenzelm | basic setup for generated document sources (cf. IsarRef/isar-ref.tex); | file | diff | annotate |
| Thu, 17 Jul 2008 20:05:19 +0200 | wenzelm | use ../isabelle.sty and ../isabellesym.sty; | file | diff | annotate |
| Sat, 03 May 2003 13:31:07 +0200 | kleing | fix for new \isasymeuro | file | diff | annotate |
| Tue, 11 Dec 2001 15:58:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | file | diff | annotate |
| Tue, 04 Dec 2001 01:59:49 +0100 | wenzelm | \usepackage{textcomp}, \usepackage{marvosym}; | file | diff | annotate |
| Wed, 24 Jan 2001 20:56:12 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 15 Dec 2000 17:59:05 +0100 | wenzelm | restore \int (integral); | file | diff | annotate |
| Mon, 04 Dec 2000 23:16:25 +0100 | wenzelm | include table of Isabelle standard symbols; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Wed, 18 Aug 1999 17:15:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Aug 1999 14:22:20 +0200 | wenzelm | bib; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Tue, 21 Jul 1998 16:41:12 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
| Tue, 21 Jul 1998 08:54:09 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 | wenzelm | added pdfsetup and isabelle logo; | file | diff | annotate |
| Mon, 12 Jan 1998 13:32:47 +0100 | wenzelm | fixed author; | file | diff | annotate |
| Thu, 08 Jan 1998 18:25:36 +0100 | wenzelm | updated to Isabelle98; | file | diff | annotate |
| Tue, 30 Sep 1997 17:32:33 +0200 | berghofe | Removed "browse.tex". | file | diff | annotate |
| Mon, 22 Sep 1997 17:37:48 +0200 | wenzelm | acks; | file | diff | annotate |
| Thu, 22 May 1997 10:34:23 +0200 | wenzelm | fixed packages; | file | diff | annotate |
| Wed, 21 May 1997 17:11:46 +0200 | wenzelm | release version (sort of); | file | diff | annotate |
| Tue, 20 May 1997 19:34:24 +0200 | wenzelm | under construction; | file | diff | annotate |
| Fri, 16 May 1997 15:57:11 +0200 | wenzelm | still under construction! | file | diff | annotate |
| Wed, 14 May 1997 19:27:21 +0200 | wenzelm | preliminary! | file | diff | annotate |
| Mon, 12 May 1997 18:34:49 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Mon, 12 May 1997 18:26:53 +0200 | wenzelm | The Isabelle System Manual; | file | diff | annotate |