From cc197b0decd566a3ec28ac1ab58de4dcbfa0ea77 Mon Sep 17 00:00:00 2001
From: pottier
Date: Thu, 3 Jun 2010 09:27:00 +0000
Subject: plugin groebner updated and renamed as nsatz; first version of the
 doc of nsatz in the refman

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13056 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Reference-Manual.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex
index 0c90e61ba5..d9641c2c8c 100644
--- a/doc/refman/Reference-Manual.tex
+++ b/doc/refman/Reference-Manual.tex
@@ -109,6 +109,7 @@ Options A and B of the licence are {\em not} elected.}
 \include{Extraction.v}%
 \include{Program.v}%
 \include{Polynom.v}%  = Ring
+\include{Nsatz.v}%
 \include{Setoid.v}% Tactique pour les setoides
 %BEGIN LATEX
 \RefManCutCommand{ENDADDENDUM=\thepage}
-- 
cgit v1.2.3