| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add dev/v8-syntax/check-grammar byproducts to gitignore. |  Gaëtan Gilbert | 2017-08-01 |
| * | Fix syntax-v8.tex bad parenthesizing | Gaëtan Gilbert | 2017-08-01 |
| * | [vernac] Remove `Save thm id.` command. |  Emilio Jesus Gallego Arias | 2017-05-23 |
| * | Fix some typos. |  Guillaume Melquiond | 2015-12-07 |
| * | Fix some typos. | Guillaume Melquiond | 2015-10-13 |
| * | Remove obsolete script univdot, update dev doc about universes |  glondu | 2010-12-24 |
| * | Remove Explain* vernacs | glondu | 2010-10-06 |
| * | Remove bashisms | glondu | 2010-01-28 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... |  letouzey | 2009-03-20 |
| * | first-order --> firstorder (kills a warning about not being a valid id) | letouzey | 2008-04-16 |
| * | Restructuration dossier dev et mise à jour de certaines documentations |  herbelin | 2006-05-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |