diff options
author | Hendrik Tews <hendrik@askra.de> | 2017-01-14 23:27:24 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2017-01-14 23:31:01 +0100 |
commit | 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 (patch) | |
tree | 44804b5266e056b900a9ecc7e03c1f5a34a89992 /etc | |
parent | 15b977ff32f6c8250d47d7657987b0c94db76710 (diff) |
Fix prooftree for Coq 8.6
In Coq 8.6 evar status printing is off by default, causing
prooftree to crash. This patch inserts invisible commands to
switch evar status printing on and off. This is done via the
urgent-action-hook.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions