| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-07-09 | Recordops: unify struc_typ summary record and libobject entry struc_tuple | Gaëtan Gilbert | |
| This requires updating the parameter count at section end, I felt it was easier to do with rebuild_function but it could be done in discharge if needed. Incidentally fixes #12649. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |