| 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 |