Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [build] Fix checks and notes noting 4.02.1 instead of 4.02.3 | Emilio Jesus Gallego Arias | 2018-06-11 |
* | Adding profiling developer information in dev/doc/profiling.txt. | Pierre-Marie Pédrot | 2016-06-08 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [build] Fix checks and notes noting 4.02.1 instead of 4.02.3 | Emilio Jesus Gallego Arias | 2018-06-11 |
* | Adding profiling developer information in dev/doc/profiling.txt. | Pierre-Marie Pédrot | 2016-06-08 |