Wed, 05 Nov 1997 11:41:18 +0100 | wenzelm | adapted extend_trfunsT; | changeset | files |
Wed, 05 Nov 1997 11:40:51 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
Wed, 05 Nov 1997 11:40:23 +0100 | wenzelm | added TYPE syntax; | changeset | files |