isabelle: Changelog

wenzelm [Fri, 30 Aug 2013 13:46:32 +0200] rev 53327

merged

wenzelm [Fri, 30 Aug 2013 13:45:57 +0200] rev 53326

NEWS;

wenzelm [Fri, 30 Aug 2013 13:24:14 +0200] rev 53325

more explicit indication of unique result (see also 45be26b98ca6, 3d654643cf56);

wenzelm [Fri, 30 Aug 2013 12:59:28 +0200] rev 53324

explicit is always immediate;

wenzelm [Fri, 30 Aug 2013 12:46:32 +0200] rev 53323

single-letter abbrev does not make sense -- too many candidates;

wenzelm [Fri, 30 Aug 2013 12:44:39 +0200] rev 53322

allow short words for explicit completion;

wenzelm [Fri, 30 Aug 2013 12:33:16 +0200] rev 53321

fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;

wenzelm [Fri, 30 Aug 2013 12:24:15 +0200] rev 53320

more symbol abbrevs;

wenzelm [Fri, 30 Aug 2013 12:10:34 +0200] rev 53319

misc tuning -- reduce conflicts;

wenzelm [Fri, 30 Aug 2013 12:09:53 +0200] rev 53318

allow multiple entries;

isabelle