isabelle: Changelog

wenzelm [Mon, 29 Nov 2010 11:22:40 +0100] rev 40801

added document antiquotation @{file};

wenzelm [Sun, 28 Nov 2010 21:07:28 +0100] rev 40800

Parse.liberal_name for document antiquotations and attributes;

wenzelm [Sun, 28 Nov 2010 20:36:45 +0100] rev 40799

ML results: enter before printing (cf. Poly/ML SVN 1218);

wenzelm [Sun, 28 Nov 2010 20:12:22 +0100] rev 40798

merged

huffman [Sun, 28 Nov 2010 08:41:16 -0800] rev 40797

merged

huffman [Sun, 28 Nov 2010 08:21:52 -0800] rev 40796

merged

huffman [Sun, 28 Nov 2010 07:29:32 -0800] rev 40795

change match_bottom_simps to produce if-then-else, making more uses of bottom-patterns work with fixrec

huffman [Sat, 27 Nov 2010 22:48:08 -0800] rev 40794

add lemma cont2cont_if_bottom

wenzelm [Sun, 28 Nov 2010 20:03:19 +0100] rev 40793

added Parse.literal_fact with proper inner_syntax markup (source position); tuned;

wenzelm [Sun, 28 Nov 2010 19:35:14 +0100] rev 40792

tuned signature;

isabelle