Tree state when published results were taken.
Version of jscert code as camera-ready version of paper submitted.
Fix submodule breakage Fix compilation with newer versions of Coq
Initial public release of source tree