| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Sun, 18 Aug 2013 18:49:45 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sun, 23 Jun 2013 21:16:07 +0200 | haftmann | migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier | file | diff | annotate |