From a56e9f43716aa10cf041c94edbf9b06fd54ae602 Mon Sep 17 00:00:00 2001
From: aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 13 Apr 2012 16:49:32 +0000
Subject: Documentation of records defined with the keywords Inductive and
 CoInductive.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15161 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 f0fb0883b..ce998a9bc 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