isabelle: Changelog

Lars Hupel <lars.hupel@mytum.de> [Sat, 11 Jun 2016 17:40:52 +0200] rev 63289

merged

Lars Hupel <lars.hupel@mytum.de> [Sat, 11 Jun 2016 17:23:24 +0200] rev 63288

start moving actual Jenkins build scripts into the repository

wenzelm [Sat, 11 Jun 2016 17:36:49 +0200] rev 63287

tuned order for isar-ref;

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

isabelle