| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-03-07 | Farewell decl_mode | Enrico Tassi | |
| This commit removes from the source tree plugins/decl_mode, its chapter in the reference manual and related tests. | |||
| 2015-07-02 | Remove a line from test-suite. | Maxime Dénès | |
| Triggers a bug in declarative mode. Waiting for someone to volunteer and fix the bug, but meanwhile I'm trying to fix the test-suite. | |||
| 2015-06-30 | Another missing Fail and comment in test-suite. | Maxime Dénès | |
| 2015-06-30 | Missing "Fail" in test-suite. | Maxime Dénès | |
| 2015-02-24 | Other tests for decl mode, coming from reference manual. | Hugo Herbelin | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |