| Sat, 11 Feb 2017 22:53:31 +0100 | haftmann | more fun without recdef | file | diff | annotate |
| Sun, 06 Sep 2015 22:14:52 +0200 | haftmann | formally regenerated | file | diff | annotate |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | regenerated | file | diff | annotate |
| Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| Wed, 14 Sep 2011 23:46:02 +0200 | haftmann | updated generated code | file | diff | annotate |
| Mon, 10 May 2010 13:58:18 +0200 | haftmann | less complex organization of cooper source code | file | diff | annotate | base |