From 275437930fa267a31ab128b4694bd4b8b884dc70 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 23 Jun 2016 17:50:42 +0200
Subject: Updating CHANGES.

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

diff --git a/CHANGES b/CHANGES
index 7f544c88..a1119369 100644
--- a/CHANGES
+++ b/CHANGES
@@ -120,6 +120,12 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     To disable this feature use:
     (setq coq-optimise-resp-windows-enable nil)
     
+*** Option to prefer top of conclusion instead of bottom
+
+    When display goals that do not fit in the goals window, PG prefers
+    to display the bottom of the goal (where lies it own conclusion.
+    You can make it prefer the top of the conclusion by setting this:
+    (setq coq-prefer-top-of-conclusion t)
 
 *** Colors in response and goals buffers
 
-- 
cgit v1.2.3