| Sat, 28 Jul 2012 20:27:39 +0200 | wenzelm | added Quickcheck_Benchmark (cf. 1959baa22632); | changeset | files |
| Sat, 28 Jul 2012 20:20:35 +0200 | wenzelm | no apparent need for single-threaded execution; | changeset | files |
| Sat, 28 Jul 2012 20:18:15 +0200 | wenzelm | discontinued obsolete Isabelle/build script; | changeset | files |
| Sat, 28 Jul 2012 20:12:47 +0200 | wenzelm | announce advanced support for Isabelle sessions and build management; | changeset | files |
| Sat, 28 Jul 2012 20:07:21 +0200 | wenzelm | some introduction on sessions; | changeset | files |
| Sat, 28 Jul 2012 19:49:09 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 28 Jul 2012 19:48:19 +0200 | wenzelm | tuned; | changeset | files |