Mon, 28 Jul 2014 11:03:28 +0200 | wenzelm | some actual workaround to remove document nodes; | changeset | files |
Sun, 27 Jul 2014 15:40:19 +0200 | wenzelm | Added tag Isabelle2014-RC1 for changeset c0fd03d13d28 | changeset | files |
Sat, 09 Aug 2014 21:03:42 +0200 | wenzelm | tuned; | changeset | files |