isabelle: Changelog

wenzelm [Fri, 24 Nov 2006 22:05:16 +0100] rev 21520

added type_map;

wenzelm [Fri, 24 Nov 2006 22:05:15 +0100] rev 21519

added cterm_rule;

wenzelm [Fri, 24 Nov 2006 22:05:14 +0100] rev 21518

fake predeclaration of structure ProofContext;

wenzelm [Fri, 24 Nov 2006 22:05:13 +0100] rev 21517

added export_morphism;

wenzelm [Fri, 24 Nov 2006 22:05:12 +0100] rev 21516

ProofContext.init;

aspinall [Fri, 24 Nov 2006 17:23:15 +0100] rev 21515

Comment: see RFC 2396 for relative URI syntax.

aspinall [Fri, 24 Nov 2006 17:22:32 +0100] rev 21514

Send full paths in PGIP version of file loaded/retracted messages

paulson [Fri, 24 Nov 2006 16:38:42 +0100] rev 21513

Conversion of "equal" to "=" for TSTP format; big tidy-up

krauss [Fri, 24 Nov 2006 13:44:51 +0100] rev 21512

Lemma "fundef_default_value" uses predicate instead of set.

krauss [Fri, 24 Nov 2006 13:43:44 +0100] rev 21511

The function package declares the [code] attribute automatically again.

isabelle