| Sun, 10 Oct 2010 20:49:25 +0100 | wenzelm | removed some obsolete reference material; | file | diff | annotate |
| Sun, 01 Mar 2009 13:48:17 +0100 | wenzelm | removed parts of the manual that are clearly obsolete, or covered by | file | diff | annotate |
| Sat, 13 May 2006 02:51:35 +0200 | wenzelm | moved defs explanation to isar-ref; | file | diff | annotate |
| Fri, 28 Sep 2001 16:45:03 +0200 | berghofe | Added label for section on terms. | file | diff | annotate |
| Sun, 04 Feb 2001 19:41:30 +0100 | wenzelm | added no_document; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |
| Thu, 02 Sep 1999 15:24:00 +0200 | wenzelm | added with_path; | file | diff | annotate |
| Tue, 03 Aug 1999 18:57:11 +0200 | wenzelm | fixed {}; | file | diff | annotate |
| Fri, 30 Jul 1999 15:56:33 +0200 | wenzelm | added update_thy_only; | file | diff | annotate |
| Mon, 12 Jul 1999 21:51:47 +0200 | wenzelm | removed merge_theories; | file | diff | annotate |
| Tue, 18 May 1999 12:35:10 +0200 | paulson | locale documentation (from Florian) | file | diff | annotate |
| Mon, 17 May 1999 19:15:35 +0200 | wenzelm | remove_thy; | file | diff | annotate |
| Mon, 10 May 1999 16:48:00 +0200 | wenzelm | axclass; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |