typographie

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

1 files changed, 2 insertions, 1 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index 69488bfb3..080aeb77a 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -67,6 +67,7 @@
 \newcommand{\Gallina}{\textsc{Gallina}}
 \newcommand{\coqide}{\textsc{CoqIDE}}
 \newcommand{\CoqIde}{\textsc{CoqIDE}}
+\newcommand{\CoqIDE}{\textsc{CoqIDE}}
 \newcommand{\ocaml}{\textsc{Objective Caml}}
 \newcommand{\camlpppp}{\textsc{Camlp4}}
 \newcommand{\emacs}{\textsc{GNU Emacs}}
@@ -366,7 +367,7 @@
 \newcommand{\irule}[3]{{\irulehelp{#1}{#2}{#3}
                      \hbox to \wd\tempa{\hss \box\tempb \hss}}}
 
-\newcommand{\sverb}[1]{\tt #1}
+\newcommand{\sverb}[1]{{\tt #1}}
 \newcommand{\mover}[2]{{#1\over #2}}
 \newcommand{\jd}[2]{#1 \vdash #2}
 \newcommand{\mathline}[1]{\[#1\]}