Version 0.5,  2010-07-15   First release
Version 0.55, 2010-08-10   Add Cminorgenproof
Version 1.0,  2011-03-21   Complete proof release
Version 1.1,  2011-03-31   Complete tarball
Version 1.11, 2011-07-15   Minor fixes to compile with Coq 8.3pl2
Version 1.12, 2011-08-05   Minor changes
Version 1.13, 2013-05-16   Updated html documentation and papers