diff options
| author | Pierre Courtieu | 2017-03-03 17:58:28 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2017-03-03 17:58:28 +0100 |
| commit | 27f06f406594632f35c6625f27875c891233511a (patch) | |
| tree | 2a11c30407d0305d2030ff08734e50fa2b2720ff /isar/Example.thy | |
| 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 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions