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