src/Pure/ML/ml_compiler2.ML
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
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-02 wenzelm 2016-04-02 clarified modules;