Mon, 17 Jan 2011 20:20:51 +0100 | wenzelm | back to post-release mode; | changeset | files |
Sun, 30 Jan 2011 20:47:26 +0100 | wenzelm | delete .elc files unconditionally -- they cause too many incompatibilities; | changeset | files |
Sun, 30 Jan 2011 18:36:35 +0100 | wenzelm | Added tag Isabelle2011 for changeset 6d736d983d5c | changeset | files |