diff options
| author |  Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-05-31 14:17:39 +0200 |
|---|---|---|
| committer | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-05-31 14:17:39 +0200 |
| commit | 852e6f960d3fc6d4cf702ab21cfe813d9edbb531 (patch) | |
| tree | ecbfed9a6840ad8e908bedcf34522968f6408eba /plugins/ltac/tacenv.mli | |
| parent | ac8a84e3b4dc530b000e17b72c7e26f7a957420f (diff) | |
Refactor parsing rules for Hint Resolve -> and Hint Resolve <-
Diffstat (limited to 'plugins/ltac/tacenv.mli')
0 files changed, 0 insertions, 0 deletions