src/Tools/ROOT
5 months ago wenzelm 2018-12-10 more formal Haskell project setup, with dependencies on packages from "stackage";
6 months ago wenzelm 2018-11-05 clarified names;
6 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
6 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;
7 months ago wenzelm 2018-10-22 proper chapter;
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);