diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-14 18:59:54 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-25 21:19:58 +0100 |
| commit | 67dccb15b1ad7cbe28125dea9dd874d83dc2693e (patch) | |
| tree | 4d50406e15524a396957aec2a99fd2264f8b0b7f /doc/common | |
| parent | c1e670b386f83ed78104a6eb6e4d17cc1d906439 (diff) | |
Updating the current official writing of OCaml, updating Camlp4->Camlp5.
Diffstat (limited to 'doc/common')
| -rw-r--r-- | doc/common/macros.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index 0a4251a37..81def1674 100644 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -94,8 +94,8 @@ \newcommand{\gallina}{\textsc{Gallina}} \newcommand{\Gallina}{\textsc{Gallina}} \newcommand{\CoqIDE}{\textsc{CoqIDE}} -\newcommand{\ocaml}{\textsc{Objective Caml}} -\newcommand{\camlpppp}{\textsc{Camlp4}} +\newcommand{\ocaml}{\textsc{OCaml}} +\newcommand{\camlpppp}{\textsc{Camlp5}} \newcommand{\emacs}{\textsc{GNU Emacs}} \newcommand{\ProofGeneral}{\textsc{Proof General}} \newcommand{\CIC}{\textsc{Cic}} |