Thu, 28 May 1998 12:24:05 +0200 | wenzelm | tuned header; | changeset | files |
Thu, 28 May 1998 12:23:11 +0200 | wenzelm | version under control of Admin/makedist; | changeset | files |
Thu, 28 May 1998 12:22:37 +0200 | wenzelm | README, Pure/ROOT.ML: version set automatically; | changeset | files |
Thu, 28 May 1998 12:22:05 +0200 | wenzelm | version under control of Admin/makedist; | changeset | files |