From 65fe36d2ad32f2c46c67369555aa5f3461570b78 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jan 2009 17:05:59 +0000
Subject: Solves some warning and hides some not-bad ones in doc. It remains a
 few hevea warning (failure to put a vector on an expression in Classes.tex,
 failure to support multirow in RecTutorial.tex).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11868 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RecTutorial/RecTutorial.tex | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'doc/RecTutorial/RecTutorial.tex')

diff --git a/doc/RecTutorial/RecTutorial.tex b/doc/RecTutorial/RecTutorial.tex
index 372f133265..f2cb383e04 100644
--- a/doc/RecTutorial/RecTutorial.tex
+++ b/doc/RecTutorial/RecTutorial.tex
@@ -1890,11 +1890,13 @@ condition ``if $R$ is predicative''.}
 
 
 \begin{center}
-\renewcommand{\multirowsetup}{\centering} \newlength{\LL}
-\settowidth{\LL}{$x : R : s_1$}
+%%% displease hevea less by using * in multirow rather than \LL
+\renewcommand{\multirowsetup}{\centering}
+%\newlength{\LL}
+%\settowidth{\LL}{$x : R : U_2$}
 \begin{tabular}{|c|c|c|c|c|}
 \hline
-\multirow{5}{\LL}{$x : R : U_2$} &
+\multirow{5}*{$x : R : U_2$} &
 \multicolumn{4}{|c|}{$Q : U_1$}\\
 \hline
 &                 &\textsl{Set}      & \textsl{Prop} & \textsl{Type}\\
-- 
cgit v1.2.3