Wed, 29 May 2013 10:47:42 +0200 | wenzelm | make SML/NJ happy; | file | diff | annotate |
Sun, 26 May 2013 21:05:03 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 24 May 2013 23:57:24 +0200 | haftmann | bookkeeping and input syntax for exact specification of names of symbols in generated code | file | diff | annotate |
Fri, 24 May 2013 23:57:24 +0200 | haftmann | use generic data for code symbols for unified "code_printing" syntax for custom serialisations | file | diff | annotate |
Sun, 19 May 2013 20:15:00 +0200 | haftmann | tuned, including signature | file | diff | annotate |
Wed, 10 Apr 2013 15:30:19 +0200 | wenzelm | more standard module name Axclass (according to file name); | file | diff | annotate |
Tue, 08 Jan 2013 12:39:39 +0100 | wenzelm | tuned -- prefer high-level Table.merge with its slightly more conservative update; | file | diff | annotate |