| Tue, 22 Jul 1997 11:15:14 +0200 | paulson | Option is a synonym for General because MLWorks does not yet provide | changeset | files |
| Tue, 22 Jul 1997 11:14:18 +0200 | paulson | Removal of the tactical STATE | changeset | files |
| Tue, 22 Jul 1997 11:12:55 +0200 | paulson | Removal of the tactical STATE | changeset | files |
| 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 |