From 7d030bc502378e89d81947bac91820047bdd0380 Mon Sep 17 00:00:00 2001
From: glondu
Date: Fri, 6 Jul 2007 14:05:18 +0000
Subject: Documentation for commit 9774.

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

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
 ==============================
-- 
cgit v1.2.3