| Thu, 06 Dec 2007 12:23:52 +0100 | krauss | factored out handling of sum types again | changeset | files |
| Thu, 06 Dec 2007 00:21:34 +0100 | wenzelm | added test_markup; | changeset | files |
| 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 |
| Thu, 06 Dec 2007 00:21:28 +0100 | wenzelm | check persistent sessions; | changeset | files |
| Wed, 05 Dec 2007 20:56:42 +0100 | wenzelm | tuned signature; | changeset | files |