diff options
Diffstat (limited to 'doc/macros.tex')
| -rwxr-xr-x | doc/macros.tex | 3 |
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\]} |