| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-10 | Updating a comment in test-suite. | Hugo Herbelin | |
| 2016-08-30 | Fixing output test-suite after warning for inner Requires. | Pierre-Marie Pédrot | |
| 2016-07-19 | Some extra fixes in printing patterns in binders. | Hugo Herbelin | |
| - typo in notation_ops.ml - factorization of patterns in ppconstr.ml - update of test-suite - printing of cast of a binding pattern if in mode "printing all" The question of whether or not to print the type of a binding pattern by default seems open to me. | |||
| 2016-06-27 | Patterns in binders: printing tests | Arnaud Spiwack | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |