| Sat, 13 Nov 2010 20:13:35 +0100 | wenzelm | report malformed symbols; | changeset | files |
| Sat, 13 Nov 2010 20:06:52 +0100 | wenzelm | qualified Symbol_Pos.symbol; | changeset | files |
| Sat, 13 Nov 2010 19:55:45 +0100 | wenzelm | total Symbol.source; | changeset | files |
| Sat, 13 Nov 2010 19:47:23 +0100 | wenzelm | eliminated slightly odd pervasive Symbol_Pos.symbol; | changeset | files |