| 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 |
| Tue, 02 Jun 2009 21:44:16 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jun 2009 21:36:22 +0200 | wenzelm | use RichString.* to produce blanks; | changeset | files |
| Tue, 02 Jun 2009 21:27:51 +0200 | wenzelm | change_receiver: start only once (already done in actor function); | changeset | files |