Some changes to eliminate Hevea warnings.

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

1 files changed, 8 insertions, 8 deletions

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 11301a5fe..6cbd06eae 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -26,13 +26,13 @@
 %END LATEX
 %HEVEA \newenvironment{centerframe}{\begin{center}}{\end{center}}
 
-%HEVEA \newcommand{\vec}[1]{\mathbf{#1}}
-%HEVEA \newcommand{\ominus}{-}
-%HEVEA \renewcommand{\oplus}{+}
-%HEVEA \renewcommand{\otimes}{\times}
-%HEVEA \newcommand{\land}{\wedge}
-%HEVEA \newcommand{\lor}{\vee}
-%HEVEA \newcommand{\k}[1]{#1}
+%HEVEA \renewcommand{\vec}[1]{\mathbf{#1}}
+%\renewcommand{\ominus}{-} % Hevea does a good job translating these commands
+%\renewcommand{\oplus}{+}
+%\renewcommand{\otimes}{\times}
+%\newcommand{\land}{\wedge}
+%\newcommand{\lor}{\vee}
+%HEVEA \renewcommand{\k}[1]{#1} % \k{a} is supposed to produce a with a little stroke
 %HEVEA \newcommand{\phantom}[1]{\qquad}
 
 %%%%%%%%%%%%%%%%%%%%%%%
@@ -275,7 +275,7 @@
 \newcommand{\If}{{\textbf{if }}}
 \newcommand{\Else}{{\textbf{else }}}
 \newcommand{\Then} {{\textbf{then }}}
-\newcommand{\Let}{{\textbf{let }}}
+%\newcommand{\Let}{{\textbf{let }}} % looks like this is never used
 \newcommand{\Where}{{\textbf{where rec }}}
 \newcommand{\Function}{{\textbf{function }}}
 \newcommand{\Rec}{{\textbf{rec }}}