chiark / gitweb /
Add a small README for people cloning this repo.
[matchsticks-search.git] / template.html
index a5c4951a8c8924aaefbeedf8904030799abe66d7..e6154f1542a44ef4bad72ffc12fbdb0a7f11aa4e 100644 (file)
@@ -392,7 +392,10 @@ to collect a reasonable amount of data.
 </p>
 
 <p>
-FIXME: link to git repo.
+A small (and not really very well organised) git repository containing
+all the data and software written so far for this problem is
+available <a href=".git/">here</a>. (You should be able to copy that
+hyperlink's location and pass it to <code>git clone</code>.)
 </p>
 
 <h2>Table of known values</h2>
@@ -478,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>