diff options
Diffstat (limited to 'doc/macros.tex')
| -rwxr-xr-x | doc/macros.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/macros.tex b/doc/macros.tex index 02a29458a1..3b3417ed2f 100755 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -71,7 +71,9 @@ \newcommand{\ocaml}{\textsc{Objective Caml}} \newcommand{\camlpppp}{\textsc{Camlp4}} \newcommand{\emacs}{\textsc{GNU Emacs}} -\newcommand{\CIC}{\textsc{Cic}} +\newcommand{\CIC}{\pCIC} +\newcommand{\pCIC}{p\textsc{Cic}} +\newcommand{\iCIC}{\textsc{Cic}} \newcommand{\FW}{\ensuremath{F_{\omega}}} %\newcommand{\bn}{{\sf BNF}} @@ -257,6 +259,7 @@ \newcommand{\se}{\searrow} \newcommand{\sw}{\swarrow} \newcommand{\nw}{\nwarrow} +\newcommand{\mto}{,} \newcommand{\vm}[1]{\vspace{#1em}} \newcommand{\vx}[1]{\vspace{#1ex}} |