| Thu, 29 Aug 2013 05:42:37 +0200 | blanchet | merge | changeset | files |
| Thu, 29 Aug 2013 05:41:58 +0200 | blanchet | more | changeset | files |
| 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 |