From 85237f65161cb9cd10119197c65c84f65f0262ee Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 18 Jan 2009 20:56:21 +0000
Subject: Backporting from v8.2 to trunk: - Filtering of doc compilation
 messages (11793,11795,11796). - Fixing bug #1925 and cleaning around bug
 #1894 (11796, 11801). - Adding some tests.

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

(limited to 'doc/refman/RefMan-lib.tex')

diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex
index 5cbe9c61b2..d158590479 100644
--- a/doc/refman/RefMan-lib.tex
+++ b/doc/refman/RefMan-lib.tex
@@ -820,10 +820,10 @@ subdirectories:
  {\bf Reals}    & Axiomatization of real numbers (classical, basic functions, 
                   integer part, fractional part, limit, derivative, Cauchy 
                   series, power series and results,...)\\
- {\bf Relations} & Relations (definitions and basic results). \\
- {\bf Sorting}  & Sorted list (basic definitions and heapsort correctness). \\
+ {\bf Relations} & Relations (definitions and basic results) \\
+ {\bf Sorting}  & Sorted list (basic definitions and heapsort correctness) \\
  {\bf Strings}  & 8-bits characters and strings\\
- {\bf Wellfounded} & Well-founded relations (basic results). \\
+ {\bf Wellfounded} & Well-founded relations (basic results) \\
 
 \end{tabular}
 \medskip
-- 
cgit v1.2.3

