isabelle: Changelog

wenzelm [Mon, 04 Apr 2016 17:25:53 +0200] rev 62849

clarified bootstrap -- avoid 'ML_file' in Pure.thy for uniformity;

wenzelm [Mon, 04 Apr 2016 17:02:34 +0200] rev 62848

clarified bootstrap -- more uniform use of ML files;

wenzelm [Mon, 04 Apr 2016 16:14:22 +0200] rev 62847

clarified bootstrap;

wenzelm [Mon, 04 Apr 2016 15:53:56 +0200] rev 62846

clarified final setup of ML environment;

wenzelm [Mon, 04 Apr 2016 15:35:24 +0200] rev 62845

clarified modules;

wenzelm [Mon, 04 Apr 2016 14:53:30 +0200] rev 62844

avoid duplicate reports;

paulson <lp15@cam.ac.uk> [Mon, 04 Apr 2016 16:52:56 +0100] rev 62843

Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results

blanchet [Mon, 04 Apr 2016 09:45:04 +0200] rev 62842

added reference from NEWS to docs

wenzelm [Sun, 03 Apr 2016 23:57:32 +0200] rev 62841

merged

wenzelm [Sun, 03 Apr 2016 23:56:52 +0200] rev 62840

renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;

isabelle