| Tue, 02 Jun 2009 19:00:58 +0200 | immler | return unchanged node on errors | changeset | files |
| 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 |