| Sat, 08 Dec 2001 14:43:48 +0100 | wenzelm | tuned print_state interfaces; | changeset | files |
| Sat, 08 Dec 2001 14:43:16 +0100 | wenzelm | optional PGML markup; | changeset | files |
| Sat, 08 Dec 2001 14:42:45 +0100 | wenzelm | added writelns; | changeset | files |
| Sat, 08 Dec 2001 14:42:22 +0100 | wenzelm | use "xml.ML"; | changeset | files |
| Sat, 08 Dec 2001 14:42:03 +0100 | wenzelm | export writeln_default; | changeset | files |
| Sat, 08 Dec 2001 14:41:36 +0100 | wenzelm | tuned print_goals interfaces; | changeset | files |
| Sat, 08 Dec 2001 14:41:10 +0100 | wenzelm | added General/xml.ML; | changeset | files |