| Wed, 01 Aug 2007 16:55:45 +0200 | wenzelm | added toplevel print command; | changeset | files |
| Wed, 01 Aug 2007 16:55:44 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Aug 2007 16:55:43 +0200 | wenzelm | renamed 'print_options' to 'print_configs'; | changeset | files |
| Wed, 01 Aug 2007 16:55:42 +0200 | wenzelm | renamed config_option.ML to config.ML; | changeset | files |
| Wed, 01 Aug 2007 16:55:41 +0200 | wenzelm | renamed config_option.ML to config.ML; | changeset | files |
| Wed, 01 Aug 2007 16:55:40 +0200 | wenzelm | simplified internal Config interface; | changeset | files |
| Wed, 01 Aug 2007 16:55:39 +0200 | wenzelm | updated; | changeset | files |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | changeset | files |
| Wed, 01 Aug 2007 16:50:16 +0200 | wenzelm | oops -- fixed syntax; | changeset | files |
| Wed, 01 Aug 2007 16:48:47 +0200 | wenzelm | "running": PROTECTED wakeup; | changeset | files |
| Tue, 31 Jul 2007 23:23:34 +0200 | wenzelm | proper path specifications; | changeset | files |
| Tue, 31 Jul 2007 23:23:28 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Tue, 31 Jul 2007 22:21:22 +0200 | wenzelm | setmp_noncritical print_mode; | changeset | files |
| Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | changeset | files |