| Wed, 02 Jul 2008 20:13:32 +0200 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | changeset | files |
| Wed, 02 Jul 2008 19:52:57 +0200 | huffman | section -> subsection | changeset | files |
| Wed, 02 Jul 2008 19:52:38 +0200 | wenzelm | convert Isabelle CVS to Mercurial; | changeset | files |