| Mon, 02 May 2011 22:31:46 +0200 | eliminated old CVS Ids; | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | eliminated copies of isabelle style files; | file | diff | annotate |
| Tue, 03 Mar 2009 11:00:51 +0100 | more canonical directory structure of manuals | file | diff | annotate | base |