src/Tools/code/code_name.ML
Tue, 06 Nov 2007 13:12:56 +0100 haftmann clarifying comment
Mon, 08 Oct 2007 22:03:28 +0200 haftmann simplified evaluation
Thu, 04 Oct 2007 19:41:54 +0200 haftmann clarified name suffix
Tue, 02 Oct 2007 07:59:55 +0200 haftmann clarified role of class relations
Fri, 24 Aug 2007 14:14:20 +0200 haftmann overloaded definitions accompanied by explicit constants
Fri, 10 Aug 2007 17:04:34 +0200 haftmann new structure for code generator modules
less more (0) tip