Sun, 05 Nov 2006 21:44:34 +0100 | wenzelm | added syntax_name; | changeset | files |
Sun, 05 Nov 2006 21:44:33 +0100 | wenzelm | fixed print_translation for ALL/EX and <, <=, etc.; tuned syntax names; | changeset | files |
Sun, 05 Nov 2006 21:44:32 +0100 | wenzelm | Sign.const_syntax_name; | changeset | files |