| Fri, 17 Sep 2010 21:04:56 +0200 | wenzelm | Syntax.read_asts error: report token ranges within message -- no side-effect here; | changeset | files |
| Fri, 17 Sep 2010 20:56:32 +0200 | wenzelm | Isabelle_Process: status/report do not require serial numbers; | changeset | files |
| Fri, 17 Sep 2010 20:42:26 +0200 | wenzelm | simplified some internal flags using Config.T instead of full-blown Proof_Data; | changeset | files |