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

First big patch to fix -Wunused-local-typedefs

2012-08-01 13:29:16 +00:00

include/CGAL

Turn QPL into LGPLv3+

2012-01-13 16:33:35 +00:00

package_info/SearchStructures

Add license files, per package

2012-01-16 15:54:22 +00:00

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