isabelle: Changelog

wenzelm [Mon, 04 Apr 2016 20:46:39 +0200] rev 62855

clarified bootstrap -- avoid conditional compilation in ROOT.ML;

wenzelm [Mon, 04 Apr 2016 20:45:54 +0200] rev 62854

allow empty string;

wenzelm [Mon, 04 Apr 2016 20:28:17 +0200] rev 62853

tuned;

wenzelm [Mon, 04 Apr 2016 20:20:47 +0200] rev 62852

clarified modules;

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;

isabelle