diff options
| author | Hugo Herbelin | 2019-01-06 19:40:30 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:21 +0000 |
| commit | 73847d367b22b5d451bcf1e538b80ca057232754 (patch) | |
| tree | 2bfe6f7115c9a71ae2d817fc2fc5aed11a1860ed /configure.ml | |
| parent | 25cbf4cefa2102b11c3617c0c52f67d98fbffaac (diff) | |
CoqIDE: Adding configurable color for incompletely processed Qed.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions