| Thu, 29 Aug 2013 00:18:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 28 Aug 2013 23:48:45 +0200 | wenzelm | merged | changeset | files |
| Wed, 28 Aug 2013 23:41:21 +0200 | wenzelm | tuned proofs; | changeset | files |
| 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 |
| Wed, 28 Aug 2013 17:20:16 +0200 | wenzelm | tuned proofs; | changeset | files |