| Wed, 14 Jan 2009 19:38:55 +0100 | wenzelm | tuned ASCII art; | file | diff | annotate |
| Sun, 30 Nov 2008 15:03:47 +0100 | wenzelm | fixed spelling; | file | diff | annotate |
| Sun, 30 Nov 2008 14:43:29 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 30 Nov 2008 12:25:54 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sat, 29 Nov 2008 19:01:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 29 Nov 2008 18:19:59 +0100 | wenzelm | further notes; | file | diff | annotate |
| Sat, 29 Nov 2008 17:09:28 +0100 | wenzelm | Important notes on Mercurial repository access for Isabelle. | file | diff | annotate |