| 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 |