aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/tok.mli
Commit message (Expand)AuthorAge
* Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND move.Gravatar Pierre-Marie Pédrot2016-03-06
* Removing the METAIDENT token, as it is not used anymore.Gravatar Pierre-Marie Pédrot2016-02-24
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Adding a token "index" representing positions (1st, 2nd, etc.).Gravatar Hugo Herbelin2015-12-15
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Uncountably many bullets (+,-,*,++,--,**,+++,...).Gravatar Hugo Herbelin2014-08-05
* Revert "KEYID token makes parsing more robust in face of notations"Gravatar gareuselesinge2013-06-21
* KEYID token makes parsing more robust in face of notationsGravatar gareuselesinge2013-06-19
* Updating headers.Gravatar herbelin2012-08-08
* Partial revert of r15148 in order to compile with Camlp4Gravatar pboutill2012-04-27
* Remove print call that do not use the pp mechanismGravatar pboutill2012-04-12
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Nicer representation of tokens, more independant of camlp*Gravatar letouzey2010-05-19