chiark / gitweb /
Credits.
authorSimon Tatham <anakin@pobox.com>
Tue, 22 Apr 2014 13:33:06 +0000 (14:33 +0100)
committerSimon Tatham <anakin@pobox.com>
Tue, 22 Apr 2014 13:33:06 +0000 (14:33 +0100)
template.html

index 29d2ff5..e6154f1 100644 (file)
@@ -481,7 +481,9 @@ the same minimum fragment and less silly other fragment lengths.)
 <h2>Credits</h2>
 
 <p>
-FIXME: credit Ian, Tom, writinghawk, Jack for deAOCisation, anyone else?
+Thanks to Ian Jackson and Tom Womack for help with the search
+software; writinghawk and Tom Womack again for upper-bound proofs;
+Jack Vickeridge for helping with the proof of rationality.
 </p>
 
 <h2>The individual dissections</h2>