diff options
| author |  Pierre Courtieu <Matafou@users.noreply.github.com> | 2017-03-03 17:58:28 +0100 |
|---|---|---|
| committer |  Erik Martin-Dorel <erik@martin-dorel.org> | 2017-03-03 17:58:28 +0100 |
| commit | 27f06f406594632f35c6625f27875c891233511a (patch) | |
| tree | 2a11c30407d0305d2030ff08734e50fa2b2720ff /generic | |
| parent | 12a780564aa7e5d936ebe5d9abcde5b28281f304 (diff) | |
Refreshing goal when Set Printing xxx. (#162)
* Close ProofGeneral/PG#161.
Issue a "Show" each time a (Uns|S)et Printing is detected (and a proof is open).
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions