Thu, 11 Feb 1999 21:18:35 +0100 | wenzelm | Present.init; | changeset | files |
Thu, 11 Feb 1999 21:18:19 +0100 | wenzelm | init, finish; | changeset | files |
Thu, 11 Feb 1999 21:17:10 +0100 | wenzelm | proper handling of print_mode wrt. Pretty.sym; | changeset | files |