| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-02-03 | Fix #13739 - disable some warnings when calling Function. | Pierre Courtieu | |
| Also added a generic way of temporarily disabling a warning. Also added try_finalize un lib/utils.ml. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |