Tue, 16 May 2006 21:33:07 +0200 | wenzelm | added add_const_syntax, add_consts_authentic; | changeset | files |
Tue, 16 May 2006 21:33:05 +0200 | wenzelm | added syntax interface; | changeset | files |
Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | changeset | files |