| 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 |
| Sat, 13 Nov 2010 19:27:41 +0100 | wenzelm | treat Unicode "replacement character" (i.e. decoding error) is malformed; | changeset | files |