| Tue, 16 Sep 2008 16:13:31 +0200 | haftmann | added quickcheck stub | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:22 +0200 | haftmann | generic value command | file | diff | annotate |
| Tue, 04 Dec 2007 22:49:26 +0100 | wenzelm | added Tools/isabelle_process.ML; | file | diff | annotate |
| Wed, 15 Aug 2007 08:57:39 +0200 | haftmann | updated code generator setup | file | diff | annotate |
| Tue, 14 Aug 2007 13:20:47 +0200 | wenzelm | moved Tools/xml.ML to General/xml.ML (again); | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | file | diff | annotate |
| Tue, 07 Aug 2007 09:40:34 +0200 | haftmann | new nbe implementation | file | diff | annotate |
| Sun, 29 Jul 2007 14:30:02 +0200 | wenzelm | added Tools/named_thms.ML; | file | diff | annotate |
| Sat, 07 Jul 2007 00:14:54 +0200 | wenzelm | moved General/xml.ML to Tools/xml.ML; | file | diff | annotate |
| Thu, 31 May 2007 20:55:33 +0200 | wenzelm | moved Compute_Oracle from Pure/Tools to Tools; | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:42 +0200 | haftmann | Isar definitions are now added explicitly to code theorem table | file | diff | annotate |
| Sat, 10 Feb 2007 09:26:17 +0100 | haftmann | added class package to Isar bootstrap | file | diff | annotate |
| Tue, 30 Jan 2007 08:21:16 +0100 | haftmann | shifted import order | file | diff | annotate |
| Fri, 05 Jan 2007 14:32:07 +0100 | haftmann | added codegen_func.ML | file | diff | annotate |
| Tue, 10 Oct 2006 09:18:09 +0200 | haftmann | removed experimental codegen_simtype | file | diff | annotate |
| Mon, 25 Sep 2006 17:04:46 +0200 | haftmann | changed order | file | diff | annotate |
| Thu, 21 Sep 2006 15:40:49 +0200 | berghofe | Added xml_syntax.ML | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:26 +0200 | haftmann | added codegen_data | file | diff | annotate |
| Mon, 14 Aug 2006 13:46:19 +0200 | haftmann | added code generator packages | file | diff | annotate |
| Tue, 08 Aug 2006 08:19:30 +0200 | haftmann | code generator refinements | file | diff | annotate |
| Fri, 21 Jul 2006 14:45:43 +0200 | haftmann | class package and codegen refinements | file | diff | annotate |
| Wed, 12 Jul 2006 17:00:22 +0200 | haftmann | adaptions in codegen | file | diff | annotate |
| Wed, 14 Jun 2006 12:10:57 +0200 | haftmann | improvements in code generator | file | diff | annotate |
| Wed, 07 Jun 2006 02:01:35 +0200 | wenzelm | added invoke.ML; | file | diff | annotate |
| Thu, 06 Apr 2006 16:08:25 +0200 | haftmann | added definitional code generator module: codegen_theorems.ML | file | diff | annotate |
| Fri, 17 Mar 2006 14:19:24 +0100 | haftmann | slight improvement in serializer, stub for code generator theorems added | file | diff | annotate |
| Mon, 27 Feb 2006 14:03:31 +0100 | nipkow | added nbe, updated neb_* | file | diff | annotate |
| Tue, 21 Feb 2006 16:37:54 +0100 | nipkow | added Tools/nbe, fixes | file | diff | annotate |
| Mon, 14 Nov 2005 15:23:33 +0100 | haftmann | added modules for code generator generation two, not operational yet | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jul 2005 19:29:52 +0200 | obua | - introduce Pure/Tools directory | file | diff | annotate |