isabelle: Changelog

krauss [Mon, 04 Dec 2006 15:15:09 +0100] rev 21634

fixed definition syntax

wenzelm [Mon, 04 Dec 2006 00:06:59 +0100] rev 21633

theory Alloc no longer works -- quick_and_dirty;

wenzelm [Mon, 04 Dec 2006 00:05:47 +0100] rev 21632

converted legacy ML script;

aspinall [Sun, 03 Dec 2006 23:25:41 +0100] rev 21631

Minor.

aspinall [Sun, 03 Dec 2006 23:21:55 +0100] rev 21630

Add output function

aspinall [Sun, 03 Dec 2006 21:46:54 +0100] rev 21629

Add string buffer getter. Add Rawtext constructor to allow XML-escaped strings in tree.

aspinall [Sun, 03 Dec 2006 16:25:33 +0100] rev 21628

Type abbreviations for element args and attributes

wenzelm [Sat, 02 Dec 2006 14:59:25 +0100] rev 21627

meta_term_syntax: proper operation on untyped preterms;

haftmann [Sat, 02 Dec 2006 11:33:08 +0100] rev 21626

generalized type signature of foldSet, fold

wenzelm [Sat, 02 Dec 2006 02:52:07 +0100] rev 21625

added some support for embedded terms;

isabelle