Imported Upstream version 8.1.pl2+dfsgupstream/8.1.pl2+dfsg

1 files changed, 11 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 34e7f506..d1f6efe1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,14 @@
+Changes from V8.1pl1 to V8.1pl2
+===============================
+
+Installation
+
+- Support for compilation with ocaml 3.10 and (transitional) camlp5.
+
+Bug fixes 
+
+- Many bugs have been fixed (cf coq-bugs web page)
+
 Changes from V8.1 to V8.1pl1
 ============================