| Tue, 17 Aug 1999 17:30:08 +0200 | wenzelm | renamed 'single' to 'some_rule'; | changeset | files |
| Tue, 17 Aug 1999 15:59:32 +0200 | wenzelm | renamed Cons to Consq in order to avoid clash with List.Cons; | changeset | files |
| Tue, 17 Aug 1999 14:01:39 +0200 | berghofe | Tuned some comments. | changeset | files |
| Tue, 17 Aug 1999 14:00:30 +0200 | berghofe | Path for remote theory browsing information is now stored in referece variable rpath. | changeset | files |
| Tue, 17 Aug 1999 11:51:12 +0200 | wenzelm | -m option; | changeset | files |
| Mon, 16 Aug 1999 22:08:23 +0200 | wenzelm | replaced "op #" by "Cons"; | changeset | files |