| 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 |
| Fri, 18 Jul 1997 13:52:35 +0200 | wenzelm | tuned warnings; | changeset | files |
| Fri, 18 Jul 1997 13:51:28 +0200 | wenzelm | considered removal of print_goals_ref; | changeset | files |
| Fri, 18 Jul 1997 13:37:16 +0200 | wenzelm | defs: allow conditions; | changeset | files |
| Fri, 18 Jul 1997 13:36:43 +0200 | wenzelm | tuned warning; | changeset | files |
| Fri, 18 Jul 1997 13:36:03 +0200 | wenzelm | renamed |-> <-| <-> to Parse/PrintRule; | changeset | files |
| Fri, 18 Jul 1997 13:35:36 +0200 | wenzelm | tuned warning; | changeset | files |
| Fri, 18 Jul 1997 13:35:15 +0200 | wenzelm | tuned warning; | changeset | files |
| Fri, 18 Jul 1997 13:33:20 +0200 | wenzelm | improved output channels: normal, warning, error; | changeset | files |