| Fri, 11 Nov 2011 14:24:38 +0100 | wenzelm | prefer statically typed Text.Markup; | changeset | files |
| Fri, 11 Nov 2011 14:07:20 +0100 | wenzelm | discontinued entity text color, notably historic red for classes; | changeset | files |
| Fri, 11 Nov 2011 12:52:57 +0100 | wenzelm | more scalable Proof_Context.prepare_sorts; | changeset | files |
| Fri, 11 Nov 2011 10:40:36 +0100 | bulwahn | increasing values_timeout to avoid failures of isatest with HOL-IMP | changeset | files |
| Fri, 11 Nov 2011 08:32:48 +0100 | bulwahn | renaming example invocations: tester predicate_compile is renamed to smart_exhaustive | changeset | files |
| Fri, 11 Nov 2011 08:32:45 +0100 | bulwahn | adding CPS compilation to predicate compiler; | changeset | files |
| Fri, 11 Nov 2011 08:32:44 +0100 | bulwahn | adding option allow_function_inversion to quickcheck options | changeset | files |
| Thu, 10 Nov 2011 23:30:50 +0100 | wenzelm | more efficient prepare_sorts -- bypass encoded positions; | changeset | files |