isabelle: Changelog

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;

wenzelm [Sun, 23 Feb 2014 19:29:27 +0100] rev 55692

more explicit Completion.Item.range, independently of caret;

wenzelm [Sun, 23 Feb 2014 18:18:40 +0100] rev 55691

tuned whitespace;

wenzelm [Sun, 23 Feb 2014 16:08:38 +0100] rev 55690

clarified stretch_point_range wrt. UTF-16 surrogates; tuned;

wenzelm [Sun, 23 Feb 2014 15:38:21 +0100] rev 55689

tuned;

wenzelm [Sun, 23 Feb 2014 15:35:19 +0100] rev 55688

some rendering of completion range; tuned;

isabelle