Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Shrink Proofs/Obligations by default and deprecate | Matthieu Sozeau | 2016-06-27 |
* | Retype application of fix_proto to get the right universes in Program | Matthieu Sozeau | 2014-05-06 |
* | Get rid of "shouldsucceed" subdirectory by moving tests to parent directory. | xclerc | 2013-09-20 |