Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change Implicit Arguments to Arguments in test-suite | 2018-03-30 | |
* | Local/Global revision 12418 continued | 2009-10-26 | |
* | Improved the treatment of Local/Global options (noneffective Local on | 2009-10-25 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change Implicit Arguments to Arguments in test-suite | 2018-03-30 | |
* | Local/Global revision 12418 continued | 2009-10-26 | |
* | Improved the treatment of Local/Global options (noneffective Local on | 2009-10-25 |