Sat, 02 May 1998 13:27:42 +0200 | wenzelm | added trfun_names; | changeset | files |
Sat, 02 May 1998 13:27:06 +0200 | wenzelm | added accesses: string -> string list; | changeset | files |
Fri, 01 May 1998 22:40:20 +0200 | oheimb | minor corrections | changeset | files |