isabelle: Changelog

wenzelm [Wed, 06 Apr 2016 11:57:21 +0200] rev 62886

simplified bootstrap: critical structures remain accessible in ML_Root context;

wenzelm [Wed, 06 Apr 2016 11:50:07 +0200] rev 62885

more uniform cleanup (via ML_Process in Scala);

wenzelm [Wed, 06 Apr 2016 11:44:34 +0200] rev 62884

clarified bootstrap;

wenzelm [Wed, 06 Apr 2016 11:37:37 +0200] rev 62883

clarified ML bootstrap;

wenzelm [Tue, 05 Apr 2016 22:31:28 +0200] rev 62882

merged

wenzelm [Tue, 05 Apr 2016 22:07:44 +0200] rev 62881

proper file extension;

wenzelm [Tue, 05 Apr 2016 21:51:14 +0200] rev 62880

clarified files;

wenzelm [Tue, 05 Apr 2016 21:23:32 +0200] rev 62879

back to static conditional compilation -- simplified bootstrap;

wenzelm [Tue, 05 Apr 2016 20:51:37 +0200] rev 62878

clarified modules -- simplified bootstrap;

wenzelm [Tue, 05 Apr 2016 20:05:05 +0200] rev 62877

avoid malformed Isabelle symbols during bootstrap;

isabelle