diff options
author | 2017-06-15 16:41:09 +0200 | |
---|---|---|
committer | 2017-06-16 10:27:47 +0200 | |
commit | 0437339ccac602d692b5b8c071b77ac756805520 (patch) | |
tree | 755ba115f30cd91d067250468e5946dd1a0f4dc4 /checker/votour.ml | |
parent | 4f6fd16c06b9e11bc2619a34c1629bd71aba76de (diff) |
Removing Proof_type from the API.
Unluckily, this forces replacing a lot of code in plugins, because the API
defined the type of goals and tactics in Proof_type, and by the no-alias rule,
this was the only one. But Proof_type was already implicitly deprecated, so
that the API should have relied on Tacmach instead.
Diffstat (limited to 'checker/votour.ml')
0 files changed, 0 insertions, 0 deletions