| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Correct some spelling errorsmaster |  Benjamin Barenblat | 2018-07-22 |
| | | | | | | | | | | | Lintian found some spelling errors in the Debian packaging for coq. Fix them most places they appear in the current source. (Don't change documentation anchor names, as that would invalidate external deeplinks.) This also fixes a bug in coqdoc: prior to this commit, coqdoc would highlight `instanciate` but not `instantiate`. | ||
| * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| | | |||
| * | [flags] [stm] Reorganize flags. |  Emilio Jesus Gallego Arias | 2017-12-11 |
| | | | | | | | | | We move the main async flags to the STM in preparation for more state encapsulation. There is still more work to do, in particular we should make some of the defaults a parameter instead of a flag. | ||
| * | Bump year in headers. |  Pierre-Marie Pédrot | 2017-07-04 |
| | | |||
| * | [safe-string] tools | Emilio Jesus Gallego Arias | 2017-03-14 |
| | | | | | No functional changes. | ||
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| | | |||
| * | Update headers. | Maxime Dénès | 2015-01-12 |
| | | |||
| * | coqworkmgr |  Enrico Tassi | 2014-09-02 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |