From 9ca885e2637dcb48924403df76f481d637ddd5a0 Mon Sep 17 00:00:00 2001
From: marche
Date: Fri, 12 Dec 2003 14:13:53 +0000
Subject: N gras, placement figures

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8384 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/macros.tex | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/doc/macros.tex b/doc/macros.tex
index bacf28a687..4ee407abbd 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -329,7 +329,7 @@
 \newcommand{\Sort}{\mbox{$\cal S$}}
 \newcommand{\convert}{=_{\beta\delta\iota\zeta}}
 \newcommand{\leconvert}{\leq_{\beta\delta\iota\zeta}}
-\newcommand{\NN}{\mbox{I\hspace{-7pt}N}}
+\newcommand{\NN}{\mathbb{N}}
 \newcommand{\inference}[1]{$${#1}$$}
 \newcommand{\compat}[2]{\mbox{$[#1|#2]$}}
 \newcommand{\tristackrel}[3]{\mathrel{\mathop{#2}\limits_{#3}^{#1}}}
@@ -375,6 +375,15 @@
 \newcommand{\thrule}[5]{#5: {\mover{#1  \qquad #2 \qquad #3}{#4}}}
 
 
+
+% placement of figures
+
+\renewcommand{\topfraction}{.95}
+\renewcommand{\bottomfraction}{.95}
+\renewcommand{\textfraction}{.05}
+\renewcommand{\floatpagefraction}{.8}
+
+
 % $Id$ 
 
 
-- 
cgit v1.2.3