| Mon, 17 Dec 2012 14:51:34 +0100 | wenzelm | more hints on technical issues due to shared-disk access of central Mercurial repository; | changeset | files |
| Mon, 17 Dec 2012 14:07:34 +0100 | wenzelm | prefer implicit build_dialog of isabelle jedit; | changeset | files |
| Mon, 17 Dec 2012 11:07:20 +0100 | wenzelm | offer sessions of group "main" first to increase chances that the user makes a sensible choice; | changeset | files |
| Mon, 17 Dec 2012 08:19:35 +0100 | nipkow | new contributor | changeset | files |
| Sun, 16 Dec 2012 22:10:37 +0100 | wenzelm | updated README; | changeset | files |
| Sun, 16 Dec 2012 21:27:23 +0100 | wenzelm | HOL-Quickcheck_Benchmark works without timeout (NB: isatest imposes global timeout already); | changeset | files |