| Mon, 25 Oct 2010 10:30:46 +0200 | blanchet | introduced manual version of "Auto Solve" as "solve_direct" | file | diff | annotate |
| Fri, 01 Oct 2010 17:06:49 +0200 | haftmann | moved ML_Context.value to Code_Runtime | file | diff | annotate |
| Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | adjusted setup | file | diff | annotate |
| 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 |