| Wed, 02 Sep 2009 21:21:54 +0200 | wenzelm | sealed Edit; | changeset | files |
| Tue, 01 Sep 2009 21:05:57 +0200 | wenzelm | Isabelle_Process: receiver as Actor -- requires Scheduler.shutdown in the end; | changeset | files |
| Tue, 01 Sep 2009 15:37:05 +0200 | wenzelm | option -d: enable debugger; | changeset | files |