| Thu, 11 Feb 1999 21:19:56 +0100 | wenzelm | -m isabelle_font; | changeset | files |
| Thu, 11 Feb 1999 21:18:56 +0100 | wenzelm | tuned; | changeset | files |
| 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 |