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 |
Wed, 05 Nov 1997 11:35:07 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
Wed, 05 Nov 1997 11:34:44 +0100 | wenzelm | adapted add_trfunsT; | changeset | files |
Wed, 05 Nov 1997 11:33:45 +0100 | wenzelm | adapted add_trfunsT; | changeset | files |