| 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 |