src/Pure/ROOT.ML
2017-04-18 wenzelm 2017-04-18 exclude theories from other sessions; clarified modules;
2016-10-18 wenzelm 2016-10-18 clarified modules;
2016-09-21 wenzelm 2016-09-21 more tight implementation of symbol explode operation (without support for raw symbols);
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-08-09 wenzelm 2016-08-09 clarified bootstrap;
2016-06-01 wenzelm 2016-06-01 ML pp for Rat.rat;
2016-05-31 wenzelm 2016-05-31 rat.ML is now part of Pure to allow tigther integration with Isabelle/ML;
2016-05-12 wenzelm 2016-05-12 common entity definitions within a global or local theory context;
2016-04-28 wenzelm 2016-04-28 support 'assumes' in specifications, e.g. 'definition', 'inductive'; tuned signatures;
2016-04-10 wenzelm 2016-04-10 clarified files;
2016-04-09 wenzelm 2016-04-09 clarified modules; removed unsed exn_id;
2016-04-09 wenzelm 2016-04-09 shared output primitives of physical/virtual Pure;
2016-04-09 wenzelm 2016-04-09 clarified bootstrap;
2016-04-09 wenzelm 2016-04-09 clarified modules;
2016-04-07 wenzelm 2016-04-07 section headings for ROOT.ML;
2016-04-07 wenzelm 2016-04-07 back to dynamic conditional compilation (reverting 4764473c9b8d) via recursive ML name space;
2016-04-07 wenzelm 2016-04-07 clarified mode of ROOT.ML files;
2016-04-07 wenzelm 2016-04-07 more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
2016-04-07 wenzelm 2016-04-07 clarified editor mode;
2016-04-06 wenzelm 2016-04-06 virtual thread data via context, for proper support of Context.>> etc;
2016-04-06 wenzelm 2016-04-06 clarified bootstrap;
2016-04-06 wenzelm 2016-04-06 clarified modules; tuned signature;
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 back to static conditional compilation -- simplified bootstrap;
2016-04-05 wenzelm 2016-04-05 clarified modules -- simplified bootstrap;
2016-04-05 wenzelm 2016-04-05 actually observe ML_system_unsafe, concerning the environment that is stored in theory ML_Root;
2016-04-05 wenzelm 2016-04-05 prefer antiquotations;
2016-04-05 wenzelm 2016-04-05 proper use_thy;
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 tuned;
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 bootstrap;
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 structure PolyML is sealed after bootstrap: all ML system access is managed by Isabelle;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-03-26 wenzelm 2016-03-26 explicit print_depth for the sake of Spec_Check.determine_type;
2016-03-26 wenzelm 2016-03-26 eliminated duplicate;
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-17 wenzelm 2016-03-17 @{make_string} is available during Pure bootstrap;
2016-03-17 wenzelm 2016-03-17 clarified modules;
2016-03-17 wenzelm 2016-03-17 hide critical structures of Poly/ML, to make it harder to disrupt the ML environment;
2016-03-17 wenzelm 2016-03-17 obsolete;
2016-03-17 wenzelm 2016-03-17 tuned signature;
2016-03-16 wenzelm 2016-03-16 eliminated without magic name;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-09 wenzelm 2016-03-09 isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
2016-03-07 wenzelm 2016-03-07 discontinued cd, pwd;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
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;