src/Pure/ROOT.scala
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;