| Fri, 09 Dec 2005 12:38:49 +0100 | urbanc | tuned | file | diff | annotate |
| Sun, 04 Dec 2005 12:14:03 +0100 | urbanc | tuning | file | diff | annotate |
| Thu, 01 Dec 2005 05:20:13 +0100 | urbanc | cleaned up further the proofs (diamond still needs work); | file | diff | annotate |