| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-29 | Adapt debugging doc to configure/Makefile changes. | Théo Zimmermann | |
| 2017-08-29 | Move debugging to Markdown. | Théo Zimmermann | |
| With a minimal diff (so I'm not putting quotes ` ` around all the code). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |