| Thu, 23 Nov 2006 00:52:03 +0100 | wenzelm | moved ML syntax operations to structure ML_Syntax; | file | diff | annotate |
| Wed, 22 Nov 2006 10:22:04 +0100 | haftmann | completed class parameter handling in axclass.ML | file | diff | annotate |
| Wed, 15 Nov 2006 17:05:48 +0100 | haftmann | dropping accidental self-imports | file | diff | annotate |
| Fri, 10 Nov 2006 07:37:37 +0100 | haftmann | minor refinements | file | diff | annotate |
| Fri, 03 Nov 2006 14:22:48 +0100 | haftmann | new ML serializer | file | diff | annotate |
| Tue, 31 Oct 2006 14:59:27 +0100 | haftmann | new SML serializer | file | diff | annotate |
| Tue, 31 Oct 2006 09:29:16 +0100 | haftmann | new serialization syntax; experimental extensions | file | diff | annotate |
| Mon, 23 Oct 2006 11:17:24 +0200 | haftmann | fixed two bugs | file | diff | annotate |
| Mon, 23 Oct 2006 11:05:33 +0200 | haftmann | bugfixes | file | diff | annotate |
| Fri, 20 Oct 2006 17:07:47 +0200 | haftmann | final Haskell serializer | file | diff | annotate |
| Fri, 20 Oct 2006 10:44:55 +0200 | haftmann | explicit change of code width possible | file | diff | annotate |
| Fri, 13 Oct 2006 16:52:51 +0200 | haftmann | improved framework | file | diff | annotate |
| Wed, 11 Oct 2006 20:35:54 +0200 | haftmann | minor refinements in serialization | file | diff | annotate |
| Tue, 10 Oct 2006 10:24:24 +0200 | haftmann | no breaks for Haskell | file | diff | annotate |
| Tue, 10 Oct 2006 09:17:17 +0200 | haftmann | added code_abstype and code_constsubst | file | diff | annotate |
| Mon, 09 Oct 2006 19:37:05 +0200 | wenzelm | moved Context.ml_output to Output.ml_output; | file | diff | annotate |
| Sat, 07 Oct 2006 07:41:56 +0200 | haftmann | cleaned up interfaces | file | diff | annotate |
| Wed, 04 Oct 2006 15:10:44 +0200 | haftmann | improvements for Haskell serialization | file | diff | annotate |
| Mon, 02 Oct 2006 23:01:09 +0200 | haftmann | fixed some Haskell issues | file | diff | annotate |
| Mon, 25 Sep 2006 17:04:15 +0200 | haftmann | refinements in codegen serializer | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:26 +0200 | haftmann | added codegen_data | file | diff | annotate |
| Mon, 04 Sep 2006 08:18:00 +0200 | haftmann | explicit table with constant types | file | diff | annotate |
| Fri, 01 Sep 2006 08:36:55 +0200 | haftmann | pervasive refinements | file | diff | annotate |
| Wed, 30 Aug 2006 15:11:17 +0200 | haftmann | code refinements | file | diff | annotate |
| Tue, 29 Aug 2006 14:31:15 +0200 | haftmann | refinements | file | diff | annotate |
| Mon, 21 Aug 2006 11:02:40 +0200 | haftmann | more concise string serialization | file | diff | annotate |
| Thu, 17 Aug 2006 09:24:47 +0200 | haftmann | cleanup | file | diff | annotate |
| Mon, 14 Aug 2006 13:46:21 +0200 | haftmann | module restructuring | file | diff | annotate |
| Tue, 08 Aug 2006 08:19:30 +0200 | haftmann | code generator refinements | file | diff | annotate |
| Wed, 26 Jul 2006 13:31:07 +0200 | haftmann | added eval_term | file | diff | annotate |