From 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 20:03:01 +0000
Subject: CoqIdE configuration file won't pollute your home anymore

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 2521e6c750..dd65cba390 100644
--- a/CHANGES
+++ b/CHANGES
@@ -191,11 +191,14 @@ CoqIDE
 
 - Coqide now runs coqtop as separated process, making it more robust:
   coqtop subprocess can be interrupted, or even killed and relaunched
-  (cf button "Restart Coq", ex-"Go to Start"). For allowing such interrupts,
-  the Windows version of coqide now requires Windows >= XP SP1.
+  (cf button "Restart Coq", ex-"Go to Start"). For allowing such
+  interrupts, the Windows version of coqide now requires Windows >= XP
+  SP1.
 - The Coqide parsing of sentences has be reworked and now supports
   tactic delimitation via { }.
 - Coqide now accepts the Abort command (wish #2357).
+- Preference files have moved to $XDG_CONFIG_HOME/coq and accelerators
+  are not stored in a list anymore.
 
 Tools
 
@@ -208,7 +211,7 @@ Tools
   * More variables are given by coqtop -config, others are defined only if the
     users doesn't have defined them elsewhere. Consequently, generated makefile
     should work directly on any architecture.
-  * Packager can take advantage of $(DSTROOT) introduction
+  * Packagers can take advantage of $(DSTROOT) introduction
 
 Changes from V8.2 to V8.3
 =========================
-- 
cgit v1.2.3