isabelle: Changelog

wenzelm [Sat, 11 Jun 2016 16:58:17 +0200] rev 63286

clarified;

wenzelm [Sat, 11 Jun 2016 16:41:11 +0200] rev 63285

clarified syntax;

wenzelm [Sat, 11 Jun 2016 13:57:59 +0200] rev 63284

spelling;

wenzelm [Fri, 10 Jun 2016 23:13:04 +0200] rev 63283

bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;

wenzelm [Fri, 10 Jun 2016 22:47:25 +0200] rev 63282

added command 'unbundle';

paulson <lp15@cam.ac.uk> [Fri, 10 Jun 2016 17:12:14 +0100] rev 63281

Merge

paulson <lp15@cam.ac.uk> [Fri, 10 Jun 2016 15:53:08 +0100] rev 63280

code to catch exception TERM in blast

wenzelm [Fri, 10 Jun 2016 16:36:24 +0200] rev 63279

merged

wenzelm [Fri, 10 Jun 2016 16:28:48 +0200] rev 63278

avoid duplicate Attrib.local_notes in aux. context;

wenzelm [Fri, 10 Jun 2016 16:17:33 +0200] rev 63277

proper restore;

isabelle