log

age author description
Mon, 12 Jan 2015 12:02:54 -0500 Adam Chlipala Switch to using OpenSSL PRNG for the one remaining rand()
Wed, 07 Jan 2015 09:25:13 -0500 Adam Chlipala Fix arguments to PQprepare()
Sat, 03 Jan 2015 10:28:36 -0500 Adam Chlipala Return to working version mode
Sat, 03 Jan 2015 10:21:26 -0500 Adam Chlipala Fixing one small issue with changes to signature matching (grandfathered into release)
Sat, 03 Jan 2015 09:56:57 -0500 Adam Chlipala New release
Tue, 30 Dec 2014 17:02:31 -0500 Adam Chlipala Fix a bug in subsignature checking for submodules
Fri, 26 Dec 2014 12:30:22 -0500 Adam Chlipala Add to .hgignore