| Wed, 28 Aug 2013 22:50:23 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 28 Aug 2013 22:25:14 +0200 | wenzelm | complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text; | changeset | files |
| Wed, 28 Aug 2013 19:12:15 +0200 | wenzelm | tuned signature -- no need for ooddities; | changeset | files |
| Wed, 28 Aug 2013 19:08:11 +0200 | wenzelm | tuned -- help finding rare NPE on cold start; | changeset | files |