src/Pure/ML/ml_compiler0.ML
2016-03-26 wenzelm 2016-03-26 explicit print_depth for the sake of Spec_Check.determine_type;
2016-03-18 wenzelm 2016-03-18 discontinued slightly odd "secure" mode;
2016-03-17 wenzelm 2016-03-17 @{make_string} is available during Pure bootstrap;
2016-03-06 wenzelm 2016-03-06 clarified treatment of fragments of Isabelle symbols during bootstrap;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;