| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-05 | Fixing #8416 (Print Assumptions missing module information from compiled files). | Hugo Herbelin | |
| This fixes the fix 1522b989 to #7192. The remaining Not_found after 1522b989 should have rung a bell that something was still strange. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |