| Mon, 09 Mar 1998 16:11:50 +0100 | wenzelm | adapted to new scanner and abroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:11:28 +0100 | wenzelm | read_var; | changeset | files |
| Mon, 09 Mar 1998 16:11:13 +0100 | wenzelm | Symbol.output; | changeset | files |
| Mon, 09 Mar 1998 16:10:57 +0100 | wenzelm | tuned syntax error msg; | changeset | files |