Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix issues in test-suite revealed by warnings. | 2016-06-29 | |
* | - Standardized prefix use of "Local"/"Global" modifiers as decided in | 2009-01-13 | |
* | Documentation Prop<=Set et Arguments Scope Global | 2008-07-01 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix issues in test-suite revealed by warnings. | 2016-06-29 | |
* | - Standardized prefix use of "Local"/"Global" modifiers as decided in | 2009-01-13 | |
* | Documentation Prop<=Set et Arguments Scope Global | 2008-07-01 |