From df0bf4b7226efb91b462221ca16463b7f5e93339 Mon Sep 17 00:00:00 2001
From: monate
Date: Fri, 19 Sep 2003 08:48:38 +0000
Subject: Coqide : les nouveaute d'aout

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

(limited to 'ide/FAQ')

diff --git a/ide/FAQ b/ide/FAQ
index 9f533cdfce..e20d113a59 100644
--- a/ide/FAQ
+++ b/ide/FAQ
@@ -1,7 +1,7 @@
 			CoqIde FAQ
 
 Q0) What is CoqIde?
-R0: A powerfull graphical interface for Coq. See http://coq.inria.fr. for more informations
+R0: A powerfull graphical interface for Coq. See http://coq.inria.fr. for more informations.
 
 Q1) How to enable Emacs keybindings?
 R1: Insert 
@@ -57,7 +57,7 @@ R6) Use
 
 Q7) How to customize the shortcuts for menus?
 R7) Two solutions are offered:
-  - Edit $HOME/.coqide.keys by hand
+  - Edit $HOME/.coqide.keys by hand or
   - Add "gtk-can-change-accels = 1" in your .coqiderc.gtk2 file. Then
     from CoqIde, you may select a menu entry and press the desired 
     shortcut. Do not forget to save your preferences.
-- 
cgit v1.2.3