src/Tools/ROOT
2016-02-17 wenzelm 2016-02-17 SML/NJ is no longer supported;
2014-09-21 wenzelm 2014-09-21 renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
2014-04-26 kleing 2014-04-26 retired wwwfind
2014-03-25 wenzelm 2014-03-25 some SML examples;
2013-08-23 wenzelm 2013-08-23 missing ROOT (cf. beb4ee344c22);