Tue, 07 Nov 2006 11:53:55 +0100 | krauss | Preparations for making "lexicographic_order" part of "fun" | changeset | files |
Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | changeset | files |
Tue, 07 Nov 2006 11:47:56 +0100 | wenzelm | 'const_syntax' command: allow fixed variables, renamed to 'notation'; | changeset | files |