diff options
| author | Hugo Herbelin | 2018-11-19 15:45:46 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:19 +0000 |
| commit | 390e8b97482a3100e8d37e2e62a345f9267960e2 (patch) | |
| tree | 0d7a0f2c21b383529c91146f7a97f45ead09912d /plugins/syntax/string_notation.mli | |
| parent | ab276ee0e26c52e9ee049077e95e2454b17da203 (diff) | |
CoqIDE: Stippling using bitmap no more supported for incomplete Qed.
Was formerly displaying a stippled ("pointillé") light blue. Now only
a light blue.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions