From e09f3d60f5d64627ec360245cadee597b0703650 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Sun, 26 Feb 2012 19:59:23 +0100 Subject: [PATCH] update CHANGES Ignore-this: 283039218d33fc94206bd7b900b6f20c darcs-hash:20120226185923-c41ad-1dbc7ef90668278d3d1b456e012c392d38820789 --- CHANGES | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/CHANGES b/CHANGES index 8354803..6c66ade 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,11 @@ +===== 1.1+dev ===== + + * improve emacs mode + * improve tuareg integration + * add typerex integration + * better handling of error messages + * better handling of multiline input in the terminal + ===== 1.1 (2010-08-06) ===== * add completion on labels