src/Pure/ROOT.scala
2017-05-07 wenzelm 2017-05-07 more operations;
2017-05-04 wenzelm 2017-05-04 prefer standard getOrElse;
2017-05-04 wenzelm 2017-05-04 more operations;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-10-12 wenzelm 2016-10-12 tuned signature;
2016-09-05 wenzelm 2016-09-05 support resource management;
2016-04-04 wenzelm 2016-04-04 clarified modules;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2014-07-24 wenzelm 2014-07-24 further distinction of Isabelle distribution: alert for identified release candidates;
2014-07-24 wenzelm 2014-07-24 clarified file names;