| Wed, 28 Mar 2012 14:54:33 +0200 | bulwahn | updated documentation files (cf. c14fda8fee38) | file | diff | annotate |
| Wed, 25 Jan 2012 21:14:00 +0100 | wenzelm | tuned ML infixes; | file | diff | annotate |
| Tue, 03 May 2011 21:40:14 +0200 | wenzelm | more precise syntax diagram; | file | diff | annotate |
| Tue, 03 May 2011 21:07:24 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 01 May 2011 17:42:21 +0200 | wenzelm | simplified keyword markup (without formal checking); | file | diff | annotate |
| Sun, 01 May 2011 00:01:59 +0200 | wenzelm | use @{rail} antiquotation (with some nested markup); | file | diff | annotate |
| Wed, 15 Dec 2010 13:35:50 +0100 | wenzelm | more correct ML snippets that are unchecked; | file | diff | annotate |
| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Mon, 29 Nov 2010 11:27:39 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Fri, 12 Nov 2010 14:06:37 +0100 | wenzelm | never open Unsynchronized; | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Tue, 02 Nov 2010 21:59:21 +0100 | wenzelm | more on naming tactics; | file | diff | annotate |
| Tue, 02 Nov 2010 21:21:07 +0100 | wenzelm | more on "Time" in Isabelle/ML; | file | diff | annotate |
| Thu, 28 Oct 2010 17:25:46 +0200 | wenzelm | tuned; | file | diff | annotate |