| 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 |
| Fri, 22 Oct 2010 16:57:55 +0100 | wenzelm | more on "Style and orthography"; | file | diff | annotate |
| Fri, 22 Oct 2010 12:02:00 +0100 | wenzelm | more on "Naming conventions"; | file | diff | annotate |
| Fri, 22 Oct 2010 11:27:05 +0100 | wenzelm | tuned; | file | diff | annotate |