isabelle: Changelog

blanchet [Thu, 29 Aug 2013 22:39:46 +0200] rev 53285

renamed BNF fact

kuncar [Thu, 29 Aug 2013 20:15:13 +0200] rev 53284

make SML/NJ happy

wenzelm [Thu, 29 Aug 2013 19:22:48 +0200] rev 53283

merged

wenzelm [Thu, 29 Aug 2013 19:20:35 +0200] rev 53282

tuned proofs;

wenzelm [Thu, 29 Aug 2013 15:53:56 +0200] rev 53281

clarified SideKick parser name, which serves as quasi "mode" here;

wenzelm [Thu, 29 Aug 2013 15:48:37 +0200] rev 53280

explicit indication of outer syntax with no tokens; uniform Isabelle.markers, based on syntax specification -- no tokens for NEWS;

wenzelm [Thu, 29 Aug 2013 15:29:24 +0200] rev 53279

clarified module location;

wenzelm [Thu, 29 Aug 2013 15:24:36 +0200] rev 53278

always use extended styles (despite de26cf3191a3);

wenzelm [Thu, 29 Aug 2013 13:53:45 +0200] rev 53277

more uniform configuration of editor modes and token markers;

wenzelm [Thu, 29 Aug 2013 13:14:00 +0200] rev 53276

syntax for isabelle-news with symbol completion;

isabelle