diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 15:45:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 15:45:29 +0000 |
commit | 41ad6a62cacfd16784875b5f68f1f823503fe94e (patch) | |
tree | 0c22f5d12c12d915aab8de787f995ad228edd6c1 /coq | |
parent | 48835d0092bfff9a5ce26b268d71d9a932448cca (diff) |
Deleted file
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 |