| Sat, 16 Apr 2005 18:58:30 +0200 | wenzelm | added stamp_trfun, mk_trfun, eq_trfun; | changeset | files |
| Sat, 16 Apr 2005 18:58:18 +0200 | wenzelm | tuned extend_prtabs; | changeset | files |
| Sat, 16 Apr 2005 18:58:09 +0200 | wenzelm | added make_gram; | changeset | files |
| Sat, 16 Apr 2005 18:57:53 +0200 | wenzelm | identify binder translations only once (admits remove); | changeset | files |
| Sat, 16 Apr 2005 18:57:39 +0200 | wenzelm | Syntax.mk_trfun; | changeset | files |
| Sat, 16 Apr 2005 18:57:18 +0200 | wenzelm | tuned (t)inst_tab_elem; | changeset | files |
| Sat, 16 Apr 2005 18:56:48 +0200 | wenzelm | added 'no_syntax' command; | changeset | files |
| Sat, 16 Apr 2005 18:56:37 +0200 | wenzelm | added del_modesyntax(_i); | changeset | files |