From 41ad6a62cacfd16784875b5f68f1f823503fe94e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 15:45:29 +0000
Subject: Deleted file

---
 coq/CHANGES | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 coq/CHANGES

(limited to 'coq')

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
-- 
cgit v1.2.3