Sun, 28 Dec 1997 15:00:20 +0100 | wenzelm | improved internal representation; | changeset | files |
Sun, 28 Dec 1997 14:58:56 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | changeset | files |
Sun, 28 Dec 1997 14:58:06 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | changeset | files |