| Fri, 18 Jul 1997 14:06:54 +0200 | wenzelm | tuned error propagation msg; | changeset | files |
| Fri, 18 Jul 1997 13:57:19 +0200 | wenzelm | defs may now be conditional; | changeset | files |
| Fri, 18 Jul 1997 13:55:09 +0200 | wenzelm | renamed |-> <-| <-> to Parse/PrintRule; | changeset | files |
| Fri, 18 Jul 1997 13:54:41 +0200 | wenzelm | tuned warning; | changeset | files |