diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-05-16 16:25:35 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-05-16 16:25:35 +0200 |
| commit | afb29a670c537412d09cec703da7e8821c658196 (patch) | |
| tree | cc4aebb983027af53d49106535c679aa9953c9bf /generic | |
| parent | b6b38b7b8865b1d86da49369956e32d2130c7f2c (diff) | |
Fixing Set/Unset Printing broken by auto "Show".
Current coq trunk has a bug with Show that I reported (there is a
spurious Show executed) which makes C-u C-c C-a C-s fail for now.
Should be fixed shortly.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions