| Wed, 15 Sep 2010 16:56:31 +0200 | haftmann | load code_runtime immediately again | file | diff | annotate |
| Wed, 15 Sep 2010 16:47:31 +0200 | haftmann | introduced "holds" as synthetic datatype constructor for "prop"; moved Pure code generator setup to Code_Generator.thy | file | diff | annotate |
| Wed, 15 Sep 2010 15:31:32 +0200 | haftmann | code_eval renamed to code_runtime | file | diff | annotate |
| Sat, 11 Sep 2010 12:32:31 +0200 | blanchet | make Auto Solve part of the "Auto Tools" | file | diff | annotate |
| Sat, 11 Sep 2010 10:28:44 +0200 | blanchet | start renaming "Auto_Counterexample" to "Auto_Tools"; | file | diff | annotate |
| Wed, 01 Sep 2010 12:01:19 +0200 | haftmann | factored out generic part of Scala serializer into code_namespace.ML | file | diff | annotate |
| Wed, 14 Jul 2010 14:16:12 +0200 | haftmann | load cache_io before code generator; moved adhoc-overloading to generic tools | file | diff | annotate |