| 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 |
| Thu, 27 May 2010 17:41:27 +0200 | wenzelm | renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time; | changeset | files |
| Thu, 27 May 2010 15:28:23 +0200 | wenzelm | misc updates for release; | changeset | files |
| Thu, 27 May 2010 15:15:20 +0200 | wenzelm | constant Rat.normalize needs to be qualified; | changeset | files |
| Thu, 27 May 2010 13:13:30 +0200 | wenzelm | merged | changeset | files |
| Thu, 27 May 2010 08:02:02 +0200 | haftmann | merged | changeset | files |