From 3895a86c1f00bd7c935e31998914b467f0866a35 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 5 Jan 2015 20:17:10 +0100 Subject: Added more informative messages about bullets. Updated doc, but not tests-suite yet. --- doc/common/macros.tex | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/common') 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 -- cgit v1.2.3