Documentation for commit 9774.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9951 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index fb7c018563..fbd48081ea 100644
--- a/CHANGES
+++ b/CHANGES
@@ -62,6 +62,8 @@ Miscellaneous
 
 - Syntax of "Test Printing Let ref" and "Test Printing If ref" changed into
   "Test Printing Let for ref" and "Test Printing If for ref".
+- Added the possibility to choose the location of tabs in coqide:
+  (in Edit->Preferences->Misc)
 
 Changes from V8.1gamma to V8.1
 ==============================