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 |
Sat, 28 Jul 2007 20:40:17 +0200 | wenzelm | added command 'simproc_setup', attribute "simproc"; | file | diff | annotate |
Mon, 23 Jul 2007 13:50:31 +0200 | ballarin | interpretation: unfolding of equations; | file | diff | annotate |
Sun, 08 Jul 2007 19:51:55 +0200 | wenzelm | attribute tagged: single argument; | file | diff | annotate |
Sat, 10 Feb 2007 09:26:12 +0100 | haftmann | adjusted to changes in class package | file | diff | annotate |
Sat, 09 Dec 2006 18:05:34 +0100 | wenzelm | added print_abbrevs; | file | diff | annotate |