| 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 |
| 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 |
| Thu, 21 Oct 2010 21:53:34 +0100 | wenzelm | more on "Style and orthography"; | file | diff | annotate |
| Wed, 20 Oct 2010 21:22:56 +0100 | wenzelm | more on "Association lists", based on more succinct version of older material; | file | diff | annotate |
| Wed, 20 Oct 2010 20:47:06 +0100 | wenzelm | clarified "lists as a set-like container"; | file | diff | annotate |
| Tue, 19 Oct 2010 21:01:34 +0100 | wenzelm | more on messages; | file | diff | annotate |
| Tue, 19 Oct 2010 19:46:25 +0100 | wenzelm | more on synchronized variables; | file | diff | annotate |
| Tue, 19 Oct 2010 19:20:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Oct 2010 18:50:48 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 18 Oct 2010 21:37:26 +0100 | wenzelm | somewhat modernized version of "Thread-safe programming"; | file | diff | annotate |
| Mon, 18 Oct 2010 19:06:07 +0100 | wenzelm | more robust examples: explicit @{assert} instead of unchecked output; | file | diff | annotate |
| Mon, 18 Oct 2010 15:35:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Oct 2010 12:33:13 +0100 | wenzelm | more on "Basic data types"; | file | diff | annotate |
| Sun, 17 Oct 2010 20:54:30 +0100 | wenzelm | more on "Integers"; | file | diff | annotate |
| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | file | diff | annotate |
| Sat, 16 Oct 2010 21:24:20 +0100 | wenzelm | more on "Basic ML data types"; | file | diff | annotate |
| Sat, 16 Oct 2010 20:02:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 16 Oct 2010 11:34:46 +0100 | wenzelm | more on "Exceptions"; | file | diff | annotate |