From bd86cc1274b668dfc6f60f0b6a4657b9267900d1 Mon Sep 17 00:00:00 2001
From: marche
Date: Fri, 12 Dec 2003 14:15:28 +0000
Subject: N gras

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

diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index 8eb7f3eb08..c32d053682 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -5,9 +5,10 @@
 \fi
 \usepackage[latin1]{inputenc}
 \usepackage[T1]{fontenc}
-\usepackage{pslatex}
+\usepackage{times}
 \usepackage{url}
 \usepackage{verbatim}
+\usepackage{amssymb}
 
 % for coqide
 \ifx\pdfoutput\undefined   % si on est pas en pdflatex
@@ -25,7 +26,7 @@
 \input{./headers.tex}% extension .tex pour htmlgen
 
 \begin{document}
-\sloppy\hbadness=3500
+\sloppy\hbadness=5000
 
 \tophtml{}
 \coverpage{Reference Manual}{The Coq Development Team}
-- 
cgit v1.2.3