| Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | file | diff | annotate |
| Mon, 16 Dec 1996 16:06:56 +0100 | wenzelm | fixed Title; | file | diff | annotate |
| Mon, 16 Dec 1996 15:45:02 +0100 | oheimb | added consistency comment | file | diff | annotate |
| Mon, 16 Dec 1996 09:57:18 +0100 | wenzelm | renamed from symbol_input.pl; | file | diff | annotate |