| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-07-29 | coqdoc: Fix the “details” environment | Thomas Letan | |
| The change introduced by 41a1d66 has broken the feature prior to its initial release. We attempt to fix the issue, and add a comment to warn feature developers in order to avoid facing the same issue again. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |