src/HOL/Codegenerator_Test/Generate_Pretty.thy
2012-03-25 ago merged fork with new numeral representation (see NEWS)
2011-06-09 ago fixing code generation test
2011-05-18 ago adding Code_Char_ord to code generation regression tests
2010-11-26 ago globbing constant expressions use more idiomatic underscore rather than star
2010-07-14 ago explicit optional checking
2010-07-14 ago added Isar syntax for code checking
2010-07-14 ago check without explicit path
2010-07-08 ago checking generated code for various target languages
2010-07-02 ago introduced distinct session HOL-Codegenerator_Test