diff options
| author | mohring | 2003-12-18 23:43:27 +0000 |
|---|---|---|
| committer | mohring | 2003-12-18 23:43:27 +0000 |
| commit | 140ea8f07bb1074fd2dfcda23fac673a53772124 (patch) | |
| tree | 8fcf2b254434a765f6325342b9ee9fefee70d779 /doc/macros.tex | |
| parent | c69cc72c1cae9deb8d78a05a7b7bc5f25bd3ab99 (diff) | |
mise a jour CIC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8413 85f007b7-540e-0410-9357-904b9bb8a0f7
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}} |