isabelle: Changelog

haftmann [Thu, 06 Dec 2007 16:38:42 +0100] rev 25561

-authentic primrec

haftmann [Thu, 06 Dec 2007 16:36:21 +0100] rev 25560

dropped legacy bindings

haftmann [Thu, 06 Dec 2007 16:36:19 +0100] rev 25559

authentic primrec

haftmann [Thu, 06 Dec 2007 15:10:12 +0100] rev 25558

dropped void space

haftmann [Thu, 06 Dec 2007 15:10:09 +0100] rev 25557

added new primrec package

krauss [Thu, 06 Dec 2007 12:58:01 +0100] rev 25556

load sum_tree.ML

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;

isabelle