diff options
| author |  marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-01 15:40:29 +0000 |
|---|---|---|
| committer | marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-01 15:40:29 +0000 |
| commit | 8b827e1540166eed6cdd8f603eb9eb1a5e42ec84 (patch) | |
| tree | b09cf6cb624c8cd1ddeaa3d234b795a2ac272214 /doc/macros.tex | |
| parent | bc73bc1ef78f6cb5cabb173e633be9cc96a05180 (diff) | |
version et style
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8371 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/macros.tex')
| -rwxr-xr-x | doc/macros.tex | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/doc/macros.tex b/doc/macros.tex index 5c22e72a9..2b2f0e1de 100755 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -2,8 +2,6 @@ % MACROS FOR THE REFERENCE MANUAL OF COQ % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\newcommand{\coqversion}{7.4} - % For commentaries (define \com as {} for the release manual) %\newcommand{\com}[1]{{\it(* #1 *)}} \newcommand{\com}[1]{} @@ -64,15 +62,16 @@ % Trademarks and so on % %%%%%%%%%%%%%%%%%%%%%%%% -\newcommand{\Coq}{{\sf Coq}} +\newcommand{\Coq}{\textsc{Coq}} +\newcommand{\gallina}{\textsc{Gallina}} \newcommand{\coqide}{\textsc{CoqIDE}} -\newcommand{\ocaml}{{\sf Objective Caml}} -\newcommand{\camlpppp}{{\sf Camlp4}} -\newcommand{\emacs}{{\sf GNU Emacs}} -\newcommand{\gallina}{\textsf{Gallina}} -\newcommand{\CIC}{\mbox{\sc Cic}} -\newcommand{\FW}{\mbox{$F_{\omega}$}} -\newcommand{\bn}{{\sf BNF}} +\newcommand{\CoqIde}{\textsc{CoqIDE}} +\newcommand{\ocaml}{\textsc{Objective Caml}} +\newcommand{\camlpppp}{\textsc{Camlp4}} +\newcommand{\emacs}{\textsc{GNU Emacs}} +\newcommand{\CIC}{\textsc{Cic}} +\newcommand{\FW}{\ensuremath{F_{\omega}}} +%\newcommand{\bn}{{\sf BNF}} %%%%%%%%%%%%%%%%%%% % Name of tactics % |