src/Pure/ML/ml_options.ML
2016-12-13 wenzelm 2016-12-13 more symbols;
2016-04-05 wenzelm 2016-04-05 clarified modules -- simplified bootstrap;
2016-03-17 wenzelm 2016-03-17 clarified modules;
2016-03-02 wenzelm 2016-03-02 support for ML_exception_debugger;
2015-07-16 wenzelm 2015-07-16 added option ML_debugger;
2014-07-31 wenzelm 2014-07-31 prefer dynamic ML_print_depth if context happens to be available;
2014-04-06 wenzelm 2014-04-06 more source positions;
2014-03-27 wenzelm 2014-03-27 clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;