diff options
| author | Arnaud Spiwack | 2015-03-19 11:33:10 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-31 11:28:18 +0200 |
| commit | e52303164660041690f6e05a110ff633007a1dd5 (patch) | |
| tree | bc85f0fbc8046ca38aa919aeedb401402f4443c0 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 65d701a752d9edc2d48256413b6176fa4687554d (diff) | |
Declarative mode: fix proof modes.
`end proof` changes the proof mode to `"Classic"`.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions