| Tue, 10 Sep 2013 14:02:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 10 Sep 2013 11:57:53 +0200 | wenzelm | more portable hash-bang; | changeset | files |
| Tue, 10 Sep 2013 11:46:51 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Sep 2013 00:22:12 +0200 | wenzelm | merged | changeset | files |
| Tue, 10 Sep 2013 00:18:30 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:11:02 +0200 | wenzelm | tuned proofs; | changeset | files |