src/HOL/Codegenerator_Test/code_test.ML
2014-09-22 wenzelm 2014-09-22 clarified ISABELLE_POLYML; added some isatests -- ISABELLE_SCALA still inactive due to problems with case-insensible file-system;
2014-09-16 Andreas Lochbihler 2014-09-16 add target language evaluators for the value command; drop obsolete command eval_term
2014-08-25 Andreas Lochbihler 2014-08-25 add testing framework for generated code