Wed, 02 Jun 1999 22:29:04 +0200 | wenzelm | read_term/prop_pat: do not freeze; | changeset | files |
Wed, 02 Jun 1999 22:27:01 +0200 | wenzelm | added dddot_tr; | changeset | files |
Wed, 02 Jun 1999 22:26:24 +0200 | wenzelm | added dddot_indexname; | changeset | files |