Fri, 07 Oct 2005 22:59:25 +0200 | wenzelm | added syntax for _idtdummy, _idtypdummy; | changeset | files |
Fri, 07 Oct 2005 22:59:24 +0200 | wenzelm | added absdummy; | changeset | files |
Fri, 07 Oct 2005 22:59:23 +0200 | wenzelm | removed obsolete dummy_pat_tr; | changeset | files |