1 files changed, 4 insertions, 0 deletions

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