| Mon, 26 Nov 2012 20:39:19 +0100 | wenzelm | clarified Symbol.scan_ascii_id; | changeset | files |
| Mon, 26 Nov 2012 20:29:40 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2012 20:09:51 +0100 | wenzelm | convenience operations for table as set; | changeset | files |
| Mon, 26 Nov 2012 19:56:09 +0100 | wenzelm | removed remains of Oheimb's double-space (cf. 0a5af667dc75); | changeset | files |