| Wed, 22 Oct 2008 14:15:45 +0200 | haftmann | code identifier namings are no longer imperative | file | diff | annotate |
| Tue, 30 Sep 2008 12:49:18 +0200 | haftmann | clarified codegen interfaces | file | diff | annotate |
| Fri, 26 Sep 2008 09:09:53 +0200 | haftmann | fixed typo | file | diff | annotate |
| Thu, 25 Sep 2008 09:28:08 +0200 | haftmann | non left-linear equations for nbe | file | diff | annotate |
| Thu, 28 Aug 2008 22:09:20 +0200 | haftmann | restructured and split code serializer module | file | diff | annotate |
| Wed, 30 Jul 2008 07:34:01 +0200 | haftmann | simple lifters | file | diff | annotate |
| Tue, 15 Jul 2008 16:02:07 +0200 | haftmann | tuned code theorem bookkeeping | file | diff | annotate |
| Tue, 01 Jul 2008 07:58:37 +0200 | haftmann | tuned | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
| Fri, 30 May 2008 08:02:19 +0200 | haftmann | various code streamlining | file | diff | annotate |
| Fri, 23 May 2008 16:05:13 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | file | diff | annotate |
| Tue, 29 Jan 2008 10:20:00 +0100 | haftmann | cleaned up evaluation interfaces | file | diff | annotate |
| Fri, 25 Jan 2008 14:54:49 +0100 | haftmann | tuned | file | diff | annotate |
| Thu, 13 Dec 2007 07:09:09 +0100 | haftmann | heutistics for type annotations in Haskell | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:15 +0100 | haftmann | moved instance parameter management from class.ML to axclass.ML | file | diff | annotate |
| Wed, 28 Nov 2007 09:01:42 +0100 | haftmann | tuned interfaces of class module | file | diff | annotate |
| Mon, 15 Oct 2007 21:08:36 +0200 | wenzelm | renamed Consts.the_declaration to Consts.the_type; | file | diff | annotate |
| Thu, 11 Oct 2007 16:05:47 +0200 | wenzelm | removed obsolete AxClass.params_of_class; | file | diff | annotate |
| Mon, 08 Oct 2007 22:03:31 +0200 | haftmann | moved translation kernel to CodeThingol | file | diff | annotate |
| Thu, 04 Oct 2007 19:41:51 +0200 | haftmann | clarified terminology | file | diff | annotate |
| Tue, 02 Oct 2007 07:59:55 +0200 | haftmann | clarified role of class relations | file | diff | annotate |
| Thu, 20 Sep 2007 16:37:34 +0200 | haftmann | more precise treatment of free dictionary parameters for evaluation | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:50 +0200 | haftmann | added explicit theorems | file | diff | annotate |
| Tue, 21 Aug 2007 13:30:38 +0200 | haftmann | improved evaluation interface | file | diff | annotate |
| Wed, 15 Aug 2007 08:57:42 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 13 Aug 2007 21:22:41 +0200 | haftmann | simplified | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | file | diff | annotate |