isabelle: Changelog

wenzelm [Wed, 16 Apr 2014 14:16:22 +0200] rev 56606

avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();

wenzelm [Wed, 16 Apr 2014 13:48:35 +0200] rev 56605

tuned;

wenzelm [Wed, 16 Apr 2014 13:35:49 +0200] rev 56604

tuned spelling;

wenzelm [Wed, 16 Apr 2014 13:28:21 +0200] rev 56603

more uniform treatment of word case for check / complete;

wenzelm [Wed, 16 Apr 2014 12:32:36 +0200] rev 56602

capitalize fully (like in Emacs);

wenzelm [Wed, 16 Apr 2014 12:26:12 +0200] rev 56601

clarified word case; more robust treatment of codepoints;

wenzelm [Wed, 16 Apr 2014 11:52:26 +0200] rev 56600

more specific support for sequence of words;

wenzelm [Wed, 16 Apr 2014 09:38:40 +0200] rev 56599

tuned signature -- separate module Word;

wenzelm [Tue, 15 Apr 2014 22:41:10 +0200] rev 56598

more NEWS;

wenzelm [Tue, 15 Apr 2014 22:19:07 +0200] rev 56597

tuned default: melange of all "en" dialects;

isabelle