From 61dc740ed1c3780cccaec00d059a28f0d31d0052 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 4 Jun 2012 12:07:52 +0200
Subject: Imported Upstream version 8.4~gamma0+really8.4beta2

---
 doc/common/macros.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/common/macros.tex')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index f0fb0883..ce998a9b 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -206,6 +206,7 @@
 %END LATEX
 %HEVEA \renewcommand{\proof}{\nterm{proof}}
 \newcommand{\record}{\nterm{record}}
+\newcommand{\recordkw}{\nterm{record\_keyword}}
 \newcommand{\rewrule}{\nterm{rewriting\_rule}}
 \newcommand{\sentence}{\nterm{sentence}}
 \newcommand{\simplepattern}{\nterm{simple\_pattern}}
-- 
cgit v1.2.3