| Commit message (Expand) | Author | Age |
* | Further reducing the dependencies of the EXTEND macros. | Pierre-Marie Pédrot | 2016-03-19 |
* | Removing the METAIDENT token, as it is not used anymore. | Pierre-Marie Pédrot | 2016-02-24 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2016-01-21 |
|\ |
|
| * | Update copyright headers. | Maxime Dénès | 2016-01-20 |
* | | Adding a token "index" representing positions (1st, 2nd, etc.). | Hugo Herbelin | 2015-12-15 |
|/ |
|
* | Fixing the "parsing rules with idents later declared as keywords" problem. | Hugo Herbelin | 2015-11-26 |
* | Update headers. | Maxime Dénès | 2015-01-12 |
* | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin | 2014-08-05 |
* | Removing some generic equalities. | ppedrot | 2013-10-22 |
* | Revert "KEYID token makes parsing more robust in face of notations" | gareuselesinge | 2013-06-21 |
* | KEYID token makes parsing more robust in face of notations | gareuselesinge | 2013-06-19 |
* | Updating headers. | herbelin | 2012-08-08 |
* | Partial revert of r15148 in order to compile with Camlp4 | pboutill | 2012-04-27 |
* | Remove print call that do not use the pp mechanism | pboutill | 2012-04-12 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | New script dev/tools/change-header to automatically update Coq files headers. | herbelin | 2010-06-22 |
* | Nicer representation of tokens, more independant of camlp* | letouzey | 2010-05-19 |