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/SearchStructures	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
examples/RangeSegmentTrees	…
include/CGAL	…
package_info/SearchStructures	…
test/RangeSegmentTrees	Rename all tests.	2012-10-05 15:11:41 +00:00
dont_submit	add doc in dont_submit	2012-11-27 08:42:02 +01:00