Sat, 24 Oct 2009 08:29:11 +0200 | cek | Tried rolling back | changeset | files |
Sat, 24 Oct 2009 08:24:26 +0200 | cek | Cleaning the mess | changeset | files |
Sat, 24 Oct 2009 08:09:40 +0200 | cek | Merge | changeset | files |
Sat, 24 Oct 2009 08:09:09 +0200 | cek | Better tactic and simplified the proof further | changeset | files |