| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-19 | Adding the example of bug #2904 into the test suite, and reorganising the ↵ | Martin Bodin | |
| test files. Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> Co-authored-by: Hugo Herbelin <Hugo.Herbelin@inria.fr> | |||
| 2020-02-22 | Fixes #4690: do not allow @f in notations when f is a notation variable. | Hugo Herbelin | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |