diff options
| author | Pierre Courtieu | 2020-04-16 15:51:15 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-16 15:51:15 +0200 |
| commit | 18311b7cc64bbe2b271a45d72b4ba2affa5213bd (patch) | |
| tree | 5fb3d0b90e3db3821b226eca0ca9774cbe6332ca /pgshell/example.pgsh | |
| parent | 017d4b516713622a160eb6786c2bde5f7f6ee91e (diff) | |
Fix hide/show proof.
Bug described by @MdeLv at:
https://github.com/coq/coq/issues/12088#issuecomment-613266520
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions