| 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 |
| Thu, 11 Feb 1999 21:16:30 +0100 | wenzelm | added output_width; | changeset | files |
| Thu, 11 Feb 1999 21:15:46 +0100 | wenzelm | sym: Symbol.output_width; | changeset | files |
| Thu, 11 Feb 1999 21:15:27 +0100 | wenzelm | val appends: T list -> T; | changeset | files |
| Thu, 11 Feb 1999 15:30:10 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 09 Feb 1999 10:47:21 +0100 | paulson | tidied; better error messages | changeset | files |