src/HOL/Library/code_test.ML
20 months ago haftmann 2018-01-01 proper namespace for evaluators
22 months ago wenzelm 2017-11-27 prefer formal $POLYML_EXE;
23 months ago wenzelm 2017-10-08 proper File.platform_path for SML/NJ on Windows;
2017-07-17 Andreas Lochbihler 2017-07-17 new derived targets for evaluating Haskell and Scala programs
2017-05-22 wenzelm 2017-05-22 support for ISABELLE_GHC on Windows, using the native version (mingw32);
2017-05-22 wenzelm 2017-05-22 permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows;
2017-05-22 wenzelm 2017-05-22 more robust treatment of generated strings;
2017-05-22 wenzelm 2017-05-22 proper File.platform_path for scala on Windows;
2017-05-22 wenzelm 2017-05-22 proper File.platform_path for poly on Windows;
2017-04-21 wenzelm 2017-04-21 more uniform isabelle_scala; more uniform ISABELLE_SCALAC_OPTIONS with heap options;
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