| Sun, 08 Jun 2008 14:30:46 +0200 | wenzelm | minor typos; | file | diff | annotate |
| Fri, 31 Aug 2007 15:56:19 +0200 | nipkow | explained \isatstyle(minor) | file | diff | annotate |
| Fri, 31 Aug 2007 12:24:00 +0200 | nipkow | added short_names explanation | file | diff | annotate |
| Sun, 06 May 2007 13:33:01 +0200 | nipkow | added test about "set" supression | file | diff | annotate |
| Fri, 16 Feb 2007 11:01:16 +0100 | schirmer | added example for print-mode Axiom | file | diff | annotate |
| Mon, 27 Nov 2006 17:13:10 +0100 | webertj | typo fixed | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Fri, 19 Aug 2005 18:38:59 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 19 Aug 2005 09:29:58 +0200 | nipkow | ML_idf -> ML | file | diff | annotate |
| Mon, 08 Aug 2005 09:29:16 +0200 | haftmann | added hint for position of aqu options in connection with styles | file | diff | annotate |
| Wed, 15 Jun 2005 09:01:15 +0200 | nipkow | documented DUMMY | file | diff | annotate |
| Wed, 01 Jun 2005 19:40:15 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 01 Jun 2005 10:52:17 +0200 | haftmann | renamed premise* to prem | file | diff | annotate |
| Wed, 01 Jun 2005 10:40:51 +0200 | haftmann | some refinements | file | diff | annotate |
| Wed, 01 Jun 2005 10:30:07 +0200 | haftmann | concl antiqutations | file | diff | annotate |
| Tue, 31 May 2005 12:36:01 +0200 | nipkow | fixed sectioning | file | diff | annotate |
| Tue, 31 May 2005 12:16:24 +0200 | nipkow | \nexists und premsise1 .. 9 | file | diff | annotate |
| Wed, 25 May 2005 11:14:59 +0200 | kleing | tuned thm_style section | file | diff | annotate |
| Wed, 25 May 2005 10:51:42 +0200 | nipkow | added ? explanations | file | diff | annotate |
| Tue, 24 May 2005 14:28:59 +0200 | haftmann | ML_idf antiquotation | file | diff | annotate |
| Mon, 23 May 2005 10:49:25 +0200 | haftmann | some adaptions | file | diff | annotate |
| 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 |