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 |