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 |