| Thu, 29 Oct 1998 15:06:10 +0100 | wenzelm | shyps note for prim. rules; | changeset | files |
| Thu, 29 Oct 1998 15:05:42 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Oct 1998 14:32:43 +0100 | wenzelm | tuned current_goals_markers semantics to avoid empty lines; | changeset | files |