aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <Pierre.Courtieu@cnam.fr>2015-01-05 20:17:10 +0100
committerGravatar Pierre Courtieu <Pierre.Courtieu@cnam.fr>2015-01-05 20:17:10 +0100
commit3895a86c1f00bd7c935e31998914b467f0866a35 (patch)
tree77b363c14c784bd576fdac2a072e8d7e53bfbf50 /doc/common
parent1c186562c2fc628d9ec4b6cda888750a642da117 (diff)
Added more informative messages about bullets.
Updated doc, but not tests-suite yet.
Diffstat (limited to 'doc/common')
-rwxr-xr-xdoc/common/macros.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index c5538aaab..0e820008e 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -205,6 +205,7 @@
\newcommand{\pat}{\nterm{pat}}
\newcommand{\pgs}{\nterm{pgms}}
\newcommand{\pg}{\nterm{pgm}}
+\newcommand{\abullet}{\nterm{bullet}}
%BEGIN LATEX
\newcommand{\proof}{\nterm{proof}}
%END LATEX