diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/macros.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/macros.tex b/doc/macros.tex index 5a4a2e74d4..cfed9a7135 100644 --- a/doc/macros.tex +++ b/doc/macros.tex @@ -3,3 +3,5 @@ \newcommand{\Coq}{\textsf{Coq}} \newcommand{\CCI}{Calculus of Inductive Constructions} + +\newcommand{\citesec}[1]{\textbf{\ref{#1}}}
\ No newline at end of file |