isabelle: Changelog

blanchet [Sun, 23 Feb 2014 22:51:11 +0100] rev 55702

improved accounting for dead variables when naming set functions (refines d71c2737ee21)

blanchet [Sun, 23 Feb 2014 22:51:11 +0100] rev 55701

added explicit killing

blanchet [Sun, 23 Feb 2014 22:51:11 +0100] rev 55700

more precise error message

blanchet [Sun, 23 Feb 2014 22:51:11 +0100] rev 55699

reuse same parser for '(co)datatype(_new)' as for 'bnf_decl'

wenzelm [Sun, 23 Feb 2014 21:53:01 +0100] rev 55698

tuned message;

wenzelm [Sun, 23 Feb 2014 21:45:27 +0100] rev 55697

tuned proofs;

wenzelm [Sun, 23 Feb 2014 21:30:47 +0100] rev 55696

tuned whitespace;

wenzelm [Sun, 23 Feb 2014 21:30:35 +0100] rev 55695

unused;

wenzelm [Sun, 23 Feb 2014 21:11:59 +0100] rev 55694

clarified semantic completion: retain kind.full_name as official item name for history; misc tuning;

wenzelm [Sun, 23 Feb 2014 20:24:33 +0100] rev 55693

try explicit semantic completion before syntax completion;

isabelle