| Sat, 13 Nov 2010 19:27:41 +0100 | wenzelm | treat Unicode "replacement character" (i.e. decoding error) is malformed; | changeset | files |
| Sat, 13 Nov 2010 19:21:53 +0100 | wenzelm | simplified/robustified treatment of malformed symbols, which are now fully internalized (total Symbol.explode etc.); | changeset | files |
| Sat, 13 Nov 2010 16:46:00 +0100 | wenzelm | tuned; | changeset | files |