| Thu, 06 Dec 2007 00:21:32 +0100 | wenzelm | moved basic test_markup to isabelle_process.ML; | changeset | files |
| Thu, 06 Dec 2007 00:21:32 +0100 | wenzelm | added channels; | changeset | files |
| Thu, 06 Dec 2007 00:21:30 +0100 | wenzelm | replaced Markup.enclose by Markup.markup, which operates on plain strings instead of raw output; | changeset | files |