| Wed, 01 Jan 2014 01:05:46 +0100 | haftmann | explicit distinction between empty code equations and no code equations, including convenient declaration attributes | file | diff | annotate |
| Mon, 07 Oct 2013 17:55:01 +0200 | wenzelm | proper warning at run time, not in the parser; | file | diff | annotate |
| Thu, 05 Sep 2013 18:05:02 +0200 | haftmann | check explicit module names for conformity | file | diff | annotate |