Credits.

diff --git a/template.html b/template.html
index 29d2ff5894c6d55dd39fe30b1d58b4cb4add48e2..e6154f1542a44ef4bad72ffc12fbdb0a7f11aa4e 100644 (file)
--- a/template.html
+++ b/template.html
@@ -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>