| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coq_8_4: remove | Jörg Thalheim | 2018-10-30 |
| * | Update coq to 8.4 | Russell O'Connor | 2012-08-19 |
| * | Fix building of Coq and update to version 8.3pl3. (Forgot to save files) | Marco Maggesi | 2012-03-17 |
| * | Update Coq | Marco Maggesi | 2010-11-04 |