| Sat, 28 Jul 2007 22:00:58 +0200 | wenzelm | use config_option.ML after sign.ML; | changeset | files |
| Sat, 28 Jul 2007 21:09:14 +0200 | wenzelm | commands 'declare', 'declaration'; | changeset | files |
| Sat, 28 Jul 2007 20:40:31 +0200 | wenzelm | added :|-- (dependent projection); | changeset | files |
| Sat, 28 Jul 2007 20:40:30 +0200 | wenzelm | added attribute "simproc"; | changeset | files |
| Sat, 28 Jul 2007 20:40:29 +0200 | wenzelm | setmp: NAMED_CRITICAL; | changeset | files |
| Sat, 28 Jul 2007 20:40:27 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jul 2007 20:40:26 +0200 | wenzelm | added get_cs/map_cs; | changeset | files |