diff options
| author | Maxime Dénès | 2017-11-28 09:51:49 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-28 09:51:49 +0100 |
| commit | ac006d8c87a7e921ed5a106aeba264bd6c8caa6c (patch) | |
| tree | 72ee4c55b60c1b61bc5d86762ce6a8f9cf8b8e5e | |
| parent | 437f20f0a1c2717cd7baae52e2ab20750dd9d4fb (diff) | |
| parent | 67dccb15b1ad7cbe28125dea9dd874d83dc2693e (diff) | |
Merge PR #6246: Ref. Man.: Updating the current official writing of OCaml; updating Camlp4->Camlp5.
| -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 0a4251a373..81def1674c 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}} |