[Update frontpage
Ian Lynagh <igloo@earth.li>**20100323004135] {
hunk ./index.shtml 79
-        There are currently two efforts to formalise camp's correctness
-        in coq. One is interleaved with the theory docs, in the camp
+        The main focus of camp is currently to formalise the correctness
+        in coq. The proofs are interleaved with the theory docs, in the camp
hunk ./index.shtml 83
-        and the other is happening in a darcs 2 repo hosted on patch-tag;
-        run<br />
-        <kbd class="indented">darcs get http://patch-tag.com/publicrepos/dic</kbd><br />
-        to check it out.
+        although currently the work is being done in other
+        <kbd>paper-experimental*</kbd> branches in
+        <a href="http://code.haskell.org/camp/devel/">http://code.haskell.org/camp/devel/</a>.
}