| 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 |
| Mon, 25 Oct 2010 16:14:40 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 25 Oct 2010 11:16:23 +0200 | wenzelm | added ML antiquotation @{assert}; | file | diff | annotate |
| Fri, 22 Oct 2010 20:43:48 +0100 | wenzelm | more on "Canonical argument order"; | file | diff | annotate |