diff options
| -rwxr-xr-x | doc/macros.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/macros.tex b/doc/macros.tex index 2b2f0e1de0..bacf28a687 100755 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -64,6 +64,7 @@ \newcommand{\Coq}{\textsc{Coq}} \newcommand{\gallina}{\textsc{Gallina}} +\newcommand{\Gallina}{\textsc{Gallina}} \newcommand{\coqide}{\textsc{CoqIDE}} \newcommand{\CoqIde}{\textsc{CoqIDE}} \newcommand{\ocaml}{\textsc{Objective Caml}} |