diff options
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/CHANGES | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/coq/CHANGES b/coq/CHANGES deleted file mode 100644 index bf2b9a2a..00000000 --- a/coq/CHANGES +++ /dev/null @@ -1,9 +0,0 @@ --*- outline -*- - -* Summary of Changes since pg 3.6 - -** Adapted error highlighting to x-symbol - -** Response windows shrinking to fit in three window mode - -** Outline mode cleaner |