Fri, 21 Nov 1997 15:26:22 +0100 | wenzelm | cd, use etc. now support path variables; | changeset | files |
Fri, 21 Nov 1997 13:54:31 +0100 | wenzelm | fix references to obsolete Pure/Sequence structure; | changeset | files |
Fri, 21 Nov 1997 12:15:27 +0100 | paulson | tidying | changeset | files |