| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
| Fri, 12 Nov 2010 14:06:37 +0100 | wenzelm | never open Unsynchronized; | 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 |
| Tue, 26 Oct 2010 15:57:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Oct 2010 11:22:18 +0200 | wenzelm | proper markup of uninterpreted ML text as @{ML_text}, not @{verbatim}; | file | diff | annotate |