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