src/Pure/ROOT
2017-04-12 wenzelm 2017-04-12 more global theories;
2017-04-04 wenzelm 2017-04-04 tuned syntax; some official documentation;
2016-10-20 wenzelm 2016-10-20 more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
2016-04-06 wenzelm 2016-04-06 clarified ML bootstrap environment;
2016-04-06 wenzelm 2016-04-06 clarified ML bootstrap;
2016-04-05 wenzelm 2016-04-05 clarified files;
2016-04-05 wenzelm 2016-04-05 support for ML project ROOT file, with imitation of ML "use" commands;
2016-04-05 wenzelm 2016-04-05 read Pure file dependencies directly from ROOT.ML;
2016-04-04 wenzelm 2016-04-04 more uniform ML file commands;
2016-04-04 wenzelm 2016-04-04 clarified bootstrap -- avoid conditional compilation in ROOT.ML;
2016-04-04 wenzelm 2016-04-04 clarified modules;
2016-04-04 wenzelm 2016-04-04 clarified conditional compilation;
2016-04-04 wenzelm 2016-04-04 clarified bootstrap -- avoid 'ML_file' in Pure.thy for uniformity;
2016-04-04 wenzelm 2016-04-04 clarified bootstrap -- more uniform use of ML files;
2016-04-04 wenzelm 2016-04-04 clarified final setup of ML environment;
2016-04-04 wenzelm 2016-04-04 clarified modules;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-03-18 wenzelm 2016-03-18 discontinued slightly odd "secure" mode;
2016-03-18 wenzelm 2016-03-18 clarified modules;
2016-03-18 wenzelm 2016-03-18 clarified modules;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
2016-03-05 wenzelm 2016-03-05 unused;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
2016-03-03 wenzelm 2016-03-03 clarified modules; tuned signature;
2016-03-03 wenzelm 2016-03-03 clarified modules;
2016-03-03 wenzelm 2016-03-03 discontinued polyml-5.3.0;
2016-03-02 wenzelm 2016-03-02 support for ML_exception_debugger;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2016-03-01 wenzelm 2016-03-01 load secure.ML earlier; eliminated obsolete ml_parse.ML; tuned signature;
2016-03-01 wenzelm 2016-03-01 ML debugger support in Pure (again, see 3565c9f407ec);
2016-02-29 wenzelm 2016-02-29 clarified modules;
2016-02-29 wenzelm 2016-02-29 clarified ML heap operations;
2016-02-28 wenzelm 2016-02-28 clarified;
2016-02-28 wenzelm 2016-02-28 support only polyml-5.3.0 and polyml-5.6;
2016-02-23 wenzelm 2016-02-23 support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
2016-02-18 wenzelm 2016-02-18 unconditional Multithreading; clarified files;
2016-02-17 wenzelm 2016-02-17 clarified file names;
2016-02-17 wenzelm 2016-02-17 SML/NJ is no longer supported;
2016-01-06 wenzelm 2016-01-06 clarified ROOT files;
2015-12-23 wenzelm 2015-12-23 tuned;
2015-12-23 wenzelm 2015-12-23 clarified directory structure;
2015-12-06 wenzelm 2015-12-06 discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;
2015-11-20 wenzelm 2015-11-20 speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;
2015-11-15 haftmann 2015-11-15 leftover from 27ca6147e3b3
2015-11-10 wenzelm 2015-11-10 clarified modules;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-10-14 wenzelm 2015-10-14 minimal support for Markdown documents;
2015-09-25 wenzelm 2015-09-25 moved remaining display.ML to more_thm.ML;
2015-08-20 wenzelm 2015-08-20 clarified modules;
2015-08-17 wenzelm 2015-08-17 basic setup for native Windows (RAW session without image);
2015-08-12 wenzelm 2015-08-12 clarified modules;
2015-08-11 wenzelm 2015-08-11 more accurate dependencies;
2015-07-17 wenzelm 2015-07-17 clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default; tuned;
2015-07-16 wenzelm 2015-07-16 additional ML parse tree components for Poly/ML 5.5.3, or later; support for ML completion; tuned;
2015-07-16 wenzelm 2015-07-16 ML debugger interface;