| Sun, 20 Jan 2013 14:05:37 +0100 | wenzelm | merged | changeset | files |
| Sun, 20 Jan 2013 14:00:05 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Sun, 20 Jan 2013 13:59:13 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 20 Jan 2013 13:55:15 +0100 | wenzelm | accomodate scala-2.9.2; | changeset | files |
| Sat, 19 Jan 2013 22:18:35 +0100 | wenzelm | afford parallel proof terms; | changeset | files |
| Sat, 19 Jan 2013 22:17:26 +0100 | wenzelm | always close derivation at the bottom of forked proofs (despite increased non-determinism of proof terms) -- improve parallel performance by avoiding dynamic dependency within large Isar proofs, e.g. Slicing/JinjaVM/SemanticsWF.thy in AFP/bf9b14cbc707; | changeset | files |
| Sat, 19 Jan 2013 21:05:05 +0100 | nipkow | simplified proofs | changeset | files |