| 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 |
| Fri, 17 Sep 2010 20:18:27 +0200 | wenzelm | tuned signature of (Context_)Position.report variants; | changeset | files |