Tue, 21 Sep 1999 11:09:24 +0200 | paulson | project_act no longer has a special case to allow identity actions | changeset | files |
Tue, 21 Sep 1999 10:39:33 +0200 | paulson | fixed SOUNDNESS BUG concerning the map from terms like ?f x y to SVC variables | changeset | files |