From 2bb7ee56c3e977c65fa149db0e86afd6bae0fb36 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Tue, 31 Mar 2009 09:38:38 +0000
Subject: [PATCH] added missing doc for FromDoubleConstructible

---
 .../doc_tex/NumberTypeSupport_ref/CORE_BigFloat.tex    | 10 +++++-----
 .../doc_tex/NumberTypeSupport_ref/CORE_BigRat.tex      |  1 +
 .../doc_tex/NumberTypeSupport_ref/CORE_Expr.tex        |  4 ++--
 .../doc_tex/NumberTypeSupport_ref/leda_bigfloat.tex    |  4 ++--
 .../doc_tex/NumberTypeSupport_ref/leda_rational.tex    |  4 ++--
 .../doc_tex/NumberTypeSupport_ref/leda_real.tex        |  4 ++--
 6 files changed, 14 insertions(+), 13 deletions(-)

diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigFloat.tex b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigFloat.tex
index e0cb6e058b3..2c0bb7efc24 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigFloat.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigFloat.tex
@@ -5,9 +5,9 @@
 
 The class \ccRefName\ is a variable precision floating-point type. 
 Rounding mode and precision (i.e.\ mantissa length) of 
-\ccc{leda_bigfloat} can be set. 
-Since it also carries the error of a computed value, 
-\ccRefName\ can be considered as an interval type,  
+\ccRefName\ can be set. 
+Since it also carries the error of a computed value.  
+%\ccRefName\ can be considered as an interval type  
 
 This number type is provided by the {\sc Core} library~\cite{klpy-clp-99}.
 
@@ -18,8 +18,8 @@ requirements on number types.
 
 \ccIsModel
 \ccc{FieldWithKthRoot}\\
-\\
-\ccc{RealEmbeddable}
+\ccc{RealEmbeddable}\\
+\ccc{FromDoubleConstructible}\\
 
 \end{ccRefClass}
 \ccDefGlobalScope{CGAL::}
\ No newline at end of file
diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigRat.tex b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigRat.tex
index ceac46b88f3..c946d8b57c6 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigRat.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_BigRat.tex
@@ -16,6 +16,7 @@ requirements on number types.
 \ccc{Field}\\
 \ccc{RealEmbeddable}\\
 \ccc{Fraction}\\
+\ccc{FromDoubleConstructible}\\
 
 \end{ccRefClass}
 \ccDefGlobalScope{CGAL::}
\ No newline at end of file
diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_Expr.tex b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_Expr.tex
index aed6ff77708..fec0c29aa74 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/CORE_Expr.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/CORE_Expr.tex
@@ -17,8 +17,8 @@ requirements on number types.
 
 \ccIsModel
 \ccc{FieldWithRootOf}\\
-\\
-\ccc{RealEmbeddable}
+\ccc{RealEmbeddable}\\
+\ccc{FromDoubleConstructible}\\
 
 \end{ccRefClass}
 \ccDefGlobalScope{CGAL::}
diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/leda_bigfloat.tex b/Number_types/doc_tex/NumberTypeSupport_ref/leda_bigfloat.tex
index 43c1db731ee..301f2a9415d 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/leda_bigfloat.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/leda_bigfloat.tex
@@ -16,8 +16,8 @@ manual~\cite{cgal:mnsu-lum}.
 
 \ccIsModel
 \ccc{FieldWithKthRoot}\\
-\\
-\ccc{RealEmbeddable}
+\ccc{RealEmbeddable}\\
+\ccc{FromDoubleConstructible}\\
 
 \end{ccRefClass}
 \ccDefGlobalScope{CGAL::}
diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/leda_rational.tex b/Number_types/doc_tex/NumberTypeSupport_ref/leda_rational.tex
index dea7be2ed13..075bf5aba87 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/leda_rational.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/leda_rational.tex
@@ -8,13 +8,13 @@ The class \ccRefName\ is a wrapper class that provides the functions
 needed to use the number type \ccc{rational}, representing exact 
 multiprecision rational numbers provided by {\sc LEDA}. 
 
-
 \ccInclude{CGAL/leda_rational.h}
 
 \ccIsModel
 \ccc{Field}\\
 \ccc{RealEmbeddable}\\
-\ccc{Fraction}
+\ccc{Fraction}\\
+\ccc{FromDoubleConstructible}\\
 
 For more details on the number types of \leda\ we refer to the \leda\
 manual~\cite{cgal:mnsu-lum}.
diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/leda_real.tex b/Number_types/doc_tex/NumberTypeSupport_ref/leda_real.tex
index 5dda18c4a0b..2f3c45cba25 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/leda_real.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/leda_real.tex
@@ -17,8 +17,8 @@ to be exact.
 
 \ccIsModel
 \ccc{FieldWithRootOf}\\
-\\
-\ccc{RealEmbeddable}
+\ccc{RealEmbeddable}\\
+\ccc{FromDoubleConstructible}\\
 
 For more details on the number types of \leda\ we refer to the \leda\
 manual~\cite{cgal:mnsu-lum}.