From 420639def02c1fd45060f547159a466856f6d396 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Dec 1998 10:39:22 +0000
Subject: This file records user-visible changes between versions.

---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 CHANGES

diff --git a/CHANGES b/CHANGES
new file mode 100644
index 00000000..317cbb5a
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,4 @@
+Summary of Changes since Proof General 2.0
+------------------------------------------
+
+* Documentation improvements
-- 
cgit v1.2.3