isabelle: Changelog

wenzelm [Sat, 08 Mar 2014 12:44:15 +0100] rev 55994

no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;

wenzelm [Sat, 08 Mar 2014 12:31:23 +0100] rev 55993

clarified description; tuned;

wenzelm [Sat, 08 Mar 2014 11:50:12 +0100] rev 55992

tuned;

wenzelm [Fri, 07 Mar 2014 23:28:05 +0100] rev 55991

tuned proofs;

wenzelm [Fri, 07 Mar 2014 22:30:58 +0100] rev 55990

more antiquotations;

wenzelm [Fri, 07 Mar 2014 22:19:52 +0100] rev 55989

ignore special names that are treated differently for various sub-languages (main wild-card is identifier "__");

wenzelm [Fri, 07 Mar 2014 20:50:02 +0100] rev 55988

merged

wenzelm [Fri, 07 Mar 2014 20:46:27 +0100] rev 55987

misc tuning;

wenzelm [Fri, 07 Mar 2014 20:32:48 +0100] rev 55986

more strict discrimination: symbols vs. keywords could overlap;

wenzelm [Fri, 07 Mar 2014 20:24:14 +0100] rev 55985

tuned;

isabelle