diff options
| author | Pierre Courtieu | 2020-10-16 16:33:34 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-10-16 17:30:40 +0200 |
| commit | eb6bba151b27f4d821088e10e1bda5cad0b70a28 (patch) | |
| tree | 0740e3e64053a5d5cf209c5960007e47a9f11db1 /lib | |
| parent | cd6955d5a7fa35ab1aa6a7754d194a87f7c9aedf (diff) | |
Fix #518: "Proof using" mode corrupts "Proof with tac".
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions