separated by capital letters instead of underscores)
- added many cross references between the pages
- added a table of contents for the reference pages
- created a file Ref/ref_manual.tex that does the inclusion of the reference
pages (previously done in main.tex) and a file Ref/main.tex that includes
this and ordered the pages into sections
Removed Construct_second, source and target_point from KC.
(--> Construct_point_on_2.)
Added Construct_vertex for Segment, Iso*, Triangle and Tetrahedron.
Fixed Has_on_*, boundary only for full dimensional objects,
sphere predicates were missing.
Removed direction_from_* --> Construct_direction.
Added corresponding constructors to Direction.
Added Direction of Segment.
Added Construct_opposite_direction.
Added Compare_angle_with_x_axis_2 for Directions.
Removed Construct_min/max_point --> Construct_vertex.
Completed Equal functors.