aboutsummaryrefslogtreecommitdiff
path: root/intf/extend.mli
AgeCommit message (Expand)Author
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-04-07[camlpX] Remove camlp4 compat layer.Emilio Jesus Gallego Arias
2016-05-10AlistNsep token now accepts an arbitrary separator.Pierre-Marie Pédrot
2016-05-10Simpler data structure for Arules token.Pierre-Marie Pédrot
2016-05-10Removing the Entry module now that rules need not be marshalled.Pierre-Marie Pédrot
2016-04-24Higher-level API for tactic notations.Pierre-Marie Pédrot
2016-04-01Getting rid of the "_mods" parsing entry.Pierre-Marie Pédrot
2016-03-19Allowing generalized rules in typed symbols.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-16Separating the parsing of user-defined entries from their intepretation.Pierre-Marie Pédrot
2015-10-28Fixing the return type of the Atoken symbol.Pierre-Marie Pédrot
2015-10-27Type-safe grammar extensions.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-08-08Updating headers.herbelin
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-05-29Extend become a mli-only file in intf/letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:37:09 +0000