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 |