Mon, 26 Sep 2011 21:17:25 +0200 | wenzelm | Added tag Isabelle2011-1-RC1 for changeset 24ad77c3a147 | changeset | files |
Mon, 26 Sep 2011 21:09:28 +0200 | wenzelm | tuned; | changeset | files |
Mon, 26 Sep 2011 20:53:53 +0200 | wenzelm | misc tuning for release; | changeset | files |