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 |