| Mon, 26 Oct 2009 20:17:55 +0100 | wenzelm | added nitpick manual here; | file | diff | annotate |
| Thu, 02 Apr 2009 14:30:16 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Thu, 12 Mar 2009 11:17:34 +0100 | wenzelm | updated according to actual manual title; | file | diff | annotate |
| Wed, 11 Mar 2009 20:42:16 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 11 Mar 2009 20:11:06 +0100 | wenzelm | basic setup for "main" as generated Isabelle manual; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |