isabelle: Changelog

wenzelm [Mon, 04 Apr 2016 20:07:08 +0200] rev 62851

option ML_system_unsafe;

wenzelm [Mon, 04 Apr 2016 19:48:54 +0200] rev 62850

clarified conditional compilation;

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

isabelle