| Mon, 04 Aug 2014 17:53:17 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Aug 2014 10:48:35 +0200 | wenzelm | Added tag Isabelle2014-RC2 for changeset ee908fccabc2 | changeset | files |
| Mon, 04 Aug 2014 10:47:26 +0200 | wenzelm | more user aliases; | changeset | files |