| Tue, 10 Jul 2007 16:46:37 +0200 | wenzelm | added print_mode setup (from pretty.ML); | changeset | files |
| Tue, 10 Jul 2007 16:45:06 +0200 | wenzelm | Markup.add_mode; | changeset | files |
| Tue, 10 Jul 2007 16:45:05 +0200 | wenzelm | removed no_state markup -- produce empty state; | changeset | files |