Philipp Möller 75f69570dc Change the titles of mainpages to "User Manual" ... This leads to a slightly odd result in the search for "User Manual", but makes the pages themselves more consistent.		2012-12-13 14:47:09 +01:00
..
doc/Number_types	Change the titles of mainpages to "User Manual"	2012-12-13 14:47:09 +01:00
doc_tex	Revert "Replace tex-style quotes with quotes that you would expect, as there"	2012-11-23 18:08:13 +01:00
include/CGAL	The fact that CGAL_EIGEN3_ENABLED is not defined should not prevent	2012-11-08 08:51:10 +00:00
package_info/Number_types	Add license files, per package	2012-01-16 15:54:22 +00:00
src/CGAL	Move MP_Float.cpp to a header MP_Float_impl.h	2011-10-11 10:59:30 +00:00
test/Number_types	adding a specialization for Sqrt_extension for NT_converter	2012-10-15 07:39:24 +00:00
KNOWN_PROBLEMS_WITH_FLOATING_POINT	Test commit.	2008-12-08 09:27:47 +00:00
dont_submit	add doc in dont_submit	2012-11-27 08:42:02 +01:00