aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/tok.ml
Commit message (Expand)AuthorAge
* Uncountably many bullets (+,-,*,++,--,**,+++,...).Gravatar Hugo Herbelin2014-08-05
* Removing some generic equalities.Gravatar ppedrot2013-10-22
* 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