| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-27 | [cleanup] Unify all calls to the error function. | Emilio Jesus Gallego Arias |
| 2017-04-25 | [location] Make location optional in Loc.located | Emilio Jesus Gallego Arias |
| 2017-04-25 | [location] Remove Loc.ghost. | Emilio Jesus Gallego Arias |
| 2017-04-24 | [location] Use located in misctypes. | Emilio Jesus Gallego Arias |
| 2016-10-18 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-10-17 | [toplevel] Remove duplicate beautify flags. | Emilio Jesus Gallego Arias |
| 2016-10-12 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-10-09 | Moving Pp.comments to CLexer so that Pp is purer (no more side-effect | Hugo Herbelin |
| 2016-09-08 | Unplugging Pptactic from Ppvernac. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2012-10-04 | Moved Compat to parsing. This permits to break the dependency of the | ppedrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |