Thu, 12 Oct 2000 17:47:32 +0200 | wenzelm | even smarter setup for several installations of Poly/ML 3.x and 4.0; | changeset | files |
Thu, 12 Oct 2000 17:39:47 +0200 | wenzelm | tuned syms; | changeset | files |
Thu, 12 Oct 2000 17:28:18 +0200 | wenzelm | removed nonsensical print statement; | changeset | files |