diff --git a/CHANGES b/CHANGES index 6c66ade..2ec52ba 100644 --- a/CHANGES +++ b/CHANGES @@ -1,6 +1,7 @@ ===== 1.1+dev ===== * improve emacs mode + - add a menu * improve tuareg integration * add typerex integration * better handling of error messages