src/HOL/Library/code_test.ML
2017-01-26 haftmann 2017-01-26 tuned structure and terminology
2017-01-15 wenzelm 2017-01-15 uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;
2016-12-17 wenzelm 2016-12-17 unconditional Code_Test_PolyML and Code_Test_Scala: compiler is always present;
2016-12-17 wenzelm 2016-12-17 tuned signature -- suppress pointless exports;
2016-12-17 wenzelm 2016-12-17 tuned;
2016-12-17 wenzelm 2016-12-17 more standard pretty printing; tuned messages;
2016-12-17 wenzelm 2016-12-17 tuned;
2016-12-17 wenzelm 2016-12-17 tuned whitespace; tuned comments;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-05-26 haftmann 2016-05-26 clarified naming conventions and code for code evaluation sandwiches
2016-03-07 wenzelm 2016-03-07 File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output; clarified treatment of whitespace in some bash scripts;
2015-09-01 wenzelm 2015-09-01 thread context for exceptions from forks, e.g. relevant when printing errors; tuned signature;
2015-04-11 wenzelm 2015-04-11 tuned whitespace;
2015-04-06 wenzelm 2015-04-06 @{command_spec} is superseded by @{command_keyword};
2015-03-16 wenzelm 2015-03-16 proper headers;
2015-01-09 haftmann 2015-01-09 modernized and more uniform style
2014-10-30 wenzelm 2014-10-30 make SML/NJ more happy;
2014-10-08 Andreas Lochbihler 2014-10-08 move Code_Test to HOL/Library; add corresponding entries in NEWS and CONTRIBUTORS