From 8328f5f24e29a75e720976813b30aaeb004c98aa Mon Sep 17 00:00:00 2001
From: Mauricio Fernandez <mfp@acm.org>
Date: Thu, 5 Oct 2017 00:54:09 +0200
Subject: [PATCH] Update CHANGES.

---
 CHANGES | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/CHANGES b/CHANGES
index d38b636..605cb50 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,10 @@
-Changes since 1.2.0
-===================
+
+1.4.0 (2017-10-05)
+==================
+* "include" directive (ygrek)
+
+1.3.0 (2016-08-27)
+==================
 * support polymorphic type in ocaml.type
 * allow to specify default value for ocaml.type
 * use of semicolon separators in ocaml.type to allow multi-parametric types
@@ -14,14 +19,14 @@ Changes since 1.2.0
 * remove sexplib dependency (along with rarely if ever used --debug-concrete
   and --debug-reduced compiler flags)
 
-Changes since 1.1.2
-===================
+1.2.0 (2015-08-29)
+=====
 * use internal buffer pool in Extprot.Msg_buffer in order to avoid allocating
   large buffers when serializing. It can be disabled by defining the
   EXTPROT_DISABLE_BUFFER_POOL environment variable.
 
-Changes since 1.1.1
--------------------
+1.1.2 (2014-11-29)
+------------------
 * conditionally enable -bin-annot for ocaml >= 4.00 (ygrek)
 * change in generated pretty-printers for records: print module path only for
   first field