aboutsummaryrefslogtreecommitdiffhomepage
path: root/grammar/q_util.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Adding support for using grammar entries returning no value in EXTEND.Gravatar Hugo Herbelin2017-05-16
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [cleanup] Change Id.t option to Name.t in TacFunGravatar Tej Chajed2017-02-16
* Making the grammar/ folder independent from the other ones.Gravatar Pierre-Marie Pédrot2016-05-31
* Hack in TACTIC EXTEND to maintain the 8.5 behaviour on badly designed arguments.Gravatar Pierre-Marie Pédrot2016-05-14
* Getting rid of the "_mods" parsing entry.Gravatar Pierre-Marie Pédrot2016-04-01
* Fixing compilation with old versions of CAMLP5.Gravatar Pierre-Marie Pédrot2016-03-19
* EXTEND macros use their own internal representations.Gravatar Pierre-Marie Pédrot2016-03-19
* Do not keep the argument type in ExtNonTerminal.Gravatar Pierre-Marie Pédrot2016-03-19
* Making the EXTEND macros almost self-contained.Gravatar Pierre-Marie Pédrot2016-03-18
* Removing the special status of generic arguments defined by Coq itself.Gravatar Pierre-Marie Pédrot2016-03-17
* Removing dead code in Q_util.Gravatar Pierre-Marie Pédrot2016-03-17
* Reducing the number of modules linked in grammar.cma.Gravatar Pierre-Marie Pédrot2016-03-17
* Removing the Q_coqast module.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
* | ML extensions use untyped representation of user entries.Gravatar Pierre-Marie Pédrot2016-01-17
* | Proper datatype for EXTEND syntax tokens.Gravatar Pierre-Marie Pédrot2016-01-02
* | Pcoq.prod_entry_key now uses a GADT to statically enforce typedness.Gravatar Pierre-Marie Pédrot2015-10-21
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Updating headers.Gravatar herbelin2012-08-08
* place all files specific to camlp4 syntax extensions in grammar/Gravatar letouzey2012-05-29