emacs: bring Goals and Logs buffers before displaying logs and goals

Plus, add CHANGES.md file

editors/emacs/CHANGES.md

@@ -0,0 +1,16 @@
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/),
+and this project adheres to [Semantic Versioning](https://semver.org/).
+
+## Unreleased
+
+### Added
+- Auto scroll to the first goal in the `Goals` buffer in case of many hypothesis
+- Check that the Goals and Logs buffers are displayed before displaying logs and goals 
+
+### Fixed
+- Show the error at the end of file if any. That was not working because navigation stoped at the location of last command and not further (see issue #1111)
+
+
+### Changed

editors/emacs/lambdapi-proofs.el

@@ -184,6 +184,7 @@ This works for both graphical and text displays."
         (let ((response (jsonrpc-request server :proof/goals params)))
           (if response
               (progn
+                (lambdapi-refresh-window-layout)
                 (lp-display-goals (plist-get response :goals))
                 (lp-display-logs (plist-get response :logs)))
             (let ((goalsbuf (get-buffer-create "*Goals*"))