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