aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2008-01-15 15:45:29 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2008-01-15 15:45:29 +0000
commit41ad6a62cacfd16784875b5f68f1f823503fe94e (patch)
tree0c22f5d12c12d915aab8de787f995ad228edd6c1 /coq
parent48835d0092bfff9a5ce26b268d71d9a932448cca (diff)
Deleted file
Diffstat (limited to 'coq')
-rw-r--r--coq/CHANGES9
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