| Sat, 14 Sep 2013 23:52:36 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 22:50:15 +0200 | wenzelm | tuned magic number, for improved reactivity on old 2-core machine; | changeset | files |
| Sat, 14 Sep 2013 22:30:10 +0200 | wenzelm | tuned proofs; | changeset | files |