| Wed, 01 Oct 2008 12:00:01 +0200 | wenzelm | removed release_results (cf. Exn.release_all, Exn.release_first); | changeset | files |
| Wed, 01 Oct 2008 12:00:00 +0200 | wenzelm | more precise join_futures, improved termination; | changeset | files |
| Wed, 01 Oct 2008 08:42:42 +0200 | haftmann | added more_antiquote.ML | changeset | files |
| Wed, 01 Oct 2008 00:09:51 +0200 | kleing | extract Isabelle dist name correctly | changeset | files |
| Tue, 30 Sep 2008 23:31:40 +0200 | wenzelm | unit_source: explicit treatment of 'oops' proofs; | changeset | files |
| Tue, 30 Sep 2008 23:31:38 +0200 | wenzelm | promise_proof: proper statement with empty vars; | changeset | files |
| Tue, 30 Sep 2008 23:31:36 +0200 | wenzelm | load_thy: more precise treatment of improper cmd or proof (notably 'oops'); | changeset | files |