Andreas Fabri 6f61e2b2ee Downsize headings

2012-09-17 14:53:05 +00:00

..

CGAL

Downsize headings

2012-09-17 14:53:05 +00:00

Concepts

Downsize headings

2012-09-17 14:53:05 +00:00

fig

fix images: combine 2 in one, and make bigger gifs as they were unreadble

2012-09-12 07:38:02 +00:00

PackageDescription.txt

fix images: combine 2 in one, and make bigger gifs as they were unreadble

2012-09-12 07:38:02 +00:00

SearchStructures.txt

replace '' by **

2012-09-12 09:56:19 +00:00