| Mon, 26 Aug 2013 10:33:16 +0200 | wenzelm | ignore trailing primes, e.g. rename \<alpha>' to \<alpha>'' instead of \<alpha>'a; | changeset | files |
| Mon, 26 Aug 2013 09:07:32 +0200 | blanchet | tuned fudge factor in light of evaluation | changeset | files |
| Sun, 25 Aug 2013 23:20:25 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 25 Aug 2013 21:25:17 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 25 Aug 2013 20:57:09 +0200 | wenzelm | discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>; | changeset | files |
| Sun, 25 Aug 2013 20:43:10 +0200 | wenzelm | tuned; | changeset | files |