Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Relocate `intf` modules according to dependency-order. | 2018-04-23 | |
* | Make most of TACTIC EXTEND macros runtime calls. | 2018-03-08 | |
* | Update headers following #6543. | 2018-02-27 | |
* | Notations: Adding modifiers to tell which kind of binder a constr can parse. | 2018-02-20 | |
* | Notations: A step in cleaning constr_entry_key. | 2018-02-20 | |
* | Adding support for parsing subterms of a notation as "pattern". | 2018-02-20 | |
* | Introducing an intermediary type "constr_prod_entry_key" for grammar producti... | 2018-02-20 | |
* | Rephrasing ETBinderList with a self-documenting and invariant-carrying argument. | 2018-02-20 | |
* | Bump year in headers. | 2017-07-04 | |
* | Put all plugins behind an "API". | 2017-06-07 |