src/Pure/ML_Bootstrap.thy
2016-10-21 wenzelm 2016-10-21 proper type for Poly/ML development version;
2016-06-02 wenzelm 2016-06-02 avoid stateful operations in virtual bootstrap, which presumably causes occasional crash of drule.ML due to inner syntax pp;
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
2016-04-09 wenzelm 2016-04-09 shared output primitives of physical/virtual Pure;
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-06 wenzelm 2016-04-06 virtual thread data via context, for proper support of Context.>> etc;
2016-04-06 wenzelm 2016-04-06 clarified ML bootstrap environment;