| Mon, 10 Mar 2008 21:51:42 +0100 | haftmann | adjusted to current implementation | file | diff | annotate |
| Wed, 09 Jan 2008 20:25:18 +0100 | haftmann | overloading target | file | diff | annotate |
| Wed, 09 Jan 2008 08:57:12 +0100 | haftmann | tuned | file | diff | annotate |
| Wed, 09 Jan 2008 08:04:40 +0100 | haftmann | a note on syntax in class context | file | diff | annotate |
| Wed, 05 Dec 2007 14:32:17 +0100 | haftmann | tuned class parts | file | diff | annotate |
| Fri, 19 Oct 2007 12:21:32 +0200 | ballarin | Interpretation equations may have name and/or attribute. | file | diff | annotate |
| Fri, 12 Oct 2007 08:20:43 +0200 | haftmann | added subclass command | file | diff | annotate |
| Thu, 11 Oct 2007 00:33:43 +0200 | wenzelm | 'notation': allow structmixfix; | file | diff | annotate |
| Wed, 10 Oct 2007 16:29:11 +0200 | wenzelm | added no_notation; | file | diff | annotate |
| Fri, 05 Oct 2007 22:00:11 +0200 | wenzelm | tuned induct etc.; | file | diff | annotate |
| Sun, 26 Aug 2007 01:19:20 +0200 | kleing | described 'rotated' attribute | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | file | diff | annotate |
| Tue, 31 Jul 2007 13:30:35 +0200 | wenzelm | added configuration options; | file | diff | annotate |
| Sat, 28 Jul 2007 21:09:14 +0200 | wenzelm | commands 'declare', 'declaration'; | file | diff | annotate |