From: Simon Tatham <anakin@pobox.com>
Date: Tue, 22 Apr 2014 13:33:06 +0000 (+0100)
Subject: Credits.
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=matchsticks-search.git;a=commitdiff_plain;h=c1dcaf6d0afba1185ab8b5504ef7f657c58ad2df

Credits.
---

diff --git a/template.html b/template.html
index 29d2ff5..e6154f1 100644
--- 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>