isabelle: Changelog

wenzelm [Sat, 22 Feb 2014 22:06:10 +0100] rev 55675

tuned proofs;

wenzelm [Sat, 22 Feb 2014 21:38:26 +0100] rev 55674

support for semantic completion on Scala side;

wenzelm [Sat, 22 Feb 2014 20:56:50 +0100] rev 55673

clarified module location (again, see 763d35697338);

wenzelm [Sat, 22 Feb 2014 20:52:43 +0100] rev 55672

support for completion within the formal context; tuned signature;

wenzelm [Sat, 22 Feb 2014 18:07:31 +0100] rev 55671

removed remains of old experiment (see b933142e02d0);

wenzelm [Sat, 22 Feb 2014 17:13:30 +0100] rev 55670

removed dead code; more complete patterns;

wenzelm [Sat, 22 Feb 2014 16:58:02 +0100] rev 55669

tuned signature;

wenzelm [Sat, 22 Feb 2014 16:16:21 +0100] rev 55668

NEWS;

wenzelm [Sat, 22 Feb 2014 16:11:23 +0100] rev 55667

tuned comment;

wenzelm [Sat, 22 Feb 2014 15:07:33 +0100] rev 55666

refined language context: antiquotes; support default completions, with move of caret position; tuned signature;

isabelle