| 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 |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | dedicated module for code symbol data | file | diff | annotate |