src/HOL/Codegenerator_Test/Generate.thy
Fri, 15 Feb 2013 11:47:34 +0100 haftmann attempt to re-establish conventions which theories are loaded into the grand unified library theory;
Fri, 28 Dec 2012 10:15:39 +0100 haftmann code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
Fri, 26 Nov 2010 12:03:18 +0100 haftmann globbing constant expressions use more idiomatic underscore rather than star
Wed, 14 Jul 2010 16:02:50 +0200 haftmann explicit optional checking
Wed, 14 Jul 2010 15:49:29 +0200 haftmann added Isar syntax for code checking
Wed, 14 Jul 2010 14:20:47 +0200 haftmann check without explicit path
Thu, 08 Jul 2010 16:19:24 +0200 haftmann checking generated code for various target languages
Fri, 02 Jul 2010 14:23:18 +0200 haftmann introduced distinct session HOL-Codegenerator_Test
less more (0) tip