diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-06-08 15:00:31 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-06-08 15:00:31 +0200 |
commit | 2db26fbfa3571f054953b785dd634d1da0664ecd (patch) | |
tree | d6296fdfd53b7299c2314a58e3e06bdf24f3c204 /generic/proof-site.el | |
parent | 2e22e81302a81fd5c1583a6edad179551805dc29 (diff) |
Fixing a bug with Set/Unset commands due to recent commits.
The "Show" inserted now and then would hide the result of Set/Unset
commands.
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions