| Tue, 17 May 2005 18:10:36 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | file | diff | annotate |
| Sat, 14 May 2005 21:31:13 +0200 | haftmann | added Proof.context to antiquotation | file | diff | annotate |
| Thu, 12 May 2005 09:45:54 +0200 | nipkow | fixed a few things and added Haftmann as author | file | diff | annotate |
| Tue, 03 May 2005 10:32:32 +0200 | haftmann | Added short description of thm_style and term_style antiquotation | file | diff | annotate |
| Sun, 10 Apr 2005 11:41:29 +0200 | nipkow | section on qmark | file | diff | annotate |
| Thu, 07 Apr 2005 09:28:16 +0200 | wenzelm | added term_8; | file | diff | annotate |
| Thu, 03 Feb 2005 03:33:55 +0100 | kleing | Document now applies to devel version (and Isabelle 2005) | file | diff | annotate |
| Wed, 26 Jan 2005 17:34:42 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 06 Jan 2005 05:15:26 +0100 | kleing | suggestions by Jeremy Siek | file | diff | annotate |
| Wed, 08 Dec 2004 07:50:27 +0100 | kleing | improvements by Larry and Micheal Wahler | file | diff | annotate |
| Tue, 07 Dec 2004 12:13:17 +0100 | kleing | link to tar.gz | file | diff | annotate |
| Mon, 06 Dec 2004 01:06:22 +0100 | kleing | fixed typos | file | diff | annotate |
| Fri, 03 Dec 2004 12:52:24 +0100 | kleing | tuned | file | diff | annotate |
| Fri, 03 Dec 2004 07:27:48 +0100 | kleing | fixed typo | file | diff | annotate |
| Fri, 03 Dec 2004 07:23:19 +0100 | kleing | more sugar | file | diff | annotate |
| Mon, 29 Nov 2004 18:49:35 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 29 Nov 2004 11:12:19 +0100 | nipkow | New | file | diff | annotate |