| Mon, 14 Mar 2011 14:37:33 +0100 | hoelzl | moved t2_spaces to HOL image | changeset | files |
| Mon, 14 Mar 2011 15:17:10 +0100 | wenzelm | example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL; | changeset | files |
| Mon, 14 Mar 2011 15:13:00 +0100 | wenzelm | isatest: fresh copy of settings avoids odd cumulative environment; | changeset | files |
| Mon, 14 Mar 2011 12:34:12 +0100 | bulwahn | tuned exhaustive_generators | changeset | files |