| Thu, 27 May 2010 21:14:53 +0200 | wenzelm | substantial performance improvement by avoiding "re-ified" execution structure via future dependencies, instead use singleton execution (dummy future) that forces lazy state updates bottom-up; | changeset | files |
| Thu, 27 May 2010 20:15:36 +0200 | wenzelm | further formal thread-safety (follow-up to 88300168baf8) -- in practice there is only a single Isar toplevel loop, but this is not enforced; | changeset | files |
| Thu, 27 May 2010 18:10:37 +0200 | wenzelm | renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time; | changeset | files |