| Wed, 16 Jul 2008 16:42:13 +0200 | wenzelm | editor model: run interactively for now; | changeset | files |
| Wed, 16 Jul 2008 16:39:11 +0200 | wenzelm | updated generated file; | changeset | files |
| Wed, 16 Jul 2008 16:17:26 +0200 | wenzelm | identify: more informative id in Toplevel.debug mode; | changeset | files |