isabelle: Changelog

wenzelm [Sat, 09 Apr 2016 19:30:15 +0200] rev 62932

support ROOT0.ML as well -- independently of ROOT.ML;

wenzelm [Sat, 09 Apr 2016 19:09:11 +0200] rev 62931

flags as in 'ML' command;

wenzelm [Sat, 09 Apr 2016 16:16:05 +0200] rev 62930

shared output primitives of physical/virtual Pure;

wenzelm [Sat, 09 Apr 2016 14:52:10 +0200] rev 62929

shared thread position for physical/virtual Pure;

wenzelm [Sat, 09 Apr 2016 14:40:00 +0200] rev 62928

prefer Synchronized.var;

wenzelm [Sat, 09 Apr 2016 14:28:32 +0200] rev 62927

tuned signature;

wenzelm [Sat, 09 Apr 2016 14:21:29 +0200] rev 62926

virtual Pure is single-threaded to avoid confusion with multiple thread farms etc.;

wenzelm [Sat, 09 Apr 2016 14:17:50 +0200] rev 62925

tuned signature;

wenzelm [Sat, 09 Apr 2016 14:11:31 +0200] rev 62924

tuned signature -- closer to Exn.Interrupt.expose in Scala;

wenzelm [Sat, 09 Apr 2016 14:00:23 +0200] rev 62923

clarified bootstrap;

isabelle