| Tue, 02 Jun 2009 23:37:36 +0200 | wenzelm | handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0); | changeset | files |
| Tue, 02 Jun 2009 22:31:58 +0200 | wenzelm | superficial tuning; | changeset | files |
| Tue, 02 Jun 2009 22:00:28 +0200 | wenzelm | updated versions; | changeset | files |
| Tue, 02 Jun 2009 21:46:32 +0200 | wenzelm | type_at: no quotes; | changeset | files |