From 0fa64b47f270f9d31d32d499c0f9f8c23f370124 Mon Sep 17 00:00:00 2001 From: gmelquio Date: Fri, 15 Apr 2011 10:14:10 +0000 Subject: Documentation typo. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14008 85f007b7-540e-0410-9357-904b9bb8a0f7 --- doc/refman/RefMan-ide.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/refman/RefMan-ide.tex b/doc/refman/RefMan-ide.tex index 51fe979f56..f061ef18d4 100644 --- a/doc/refman/RefMan-ide.tex +++ b/doc/refman/RefMan-ide.tex @@ -270,7 +270,7 @@ To configure \texttt{uim}, execute \texttt{uim-pref-gtk} as your regular user. In the "Global Settings" group set the default Input Method to "ELatin" (don't forget to tick the checkbox "Specify default IM"). In the "ELatin" group set the layout to "TeX", and remember the content of the "[ELatin] on" field (by default -"\"). You can now execute CoqIDE with the following commands (assuming +"\textbackslash"). You can now execute CoqIDE with the following commands (assuming you use a Bourne-style shell): \begin{verbatim} -- cgit v1.2.3