isabelle: Changelog

krauss [Thu, 06 Dec 2007 12:23:52 +0100] rev 25555

factored out handling of sum types again

wenzelm [Thu, 06 Dec 2007 00:21:34 +0100] rev 25554

added test_markup; added channel markup and specials;

wenzelm [Thu, 06 Dec 2007 00:21:32 +0100] rev 25553

moved basic test_markup to isabelle_process.ML;

wenzelm [Thu, 06 Dec 2007 00:21:32 +0100] rev 25552

added channels; added markup operation, which operates on plain strings instead of raw output;

wenzelm [Thu, 06 Dec 2007 00:21:30 +0100] rev 25551

replaced Markup.enclose by Markup.markup, which operates on plain strings instead of raw output;

wenzelm [Thu, 06 Dec 2007 00:21:28 +0100] rev 25550

check persistent sessions;

wenzelm [Wed, 05 Dec 2007 20:56:42 +0100] rev 25549

tuned signature;

wenzelm [Wed, 05 Dec 2007 20:30:35 +0100] rev 25548

made SML/NJ happy;

isabelle