Christina Vaz 62ebde3d2e citations needed and intro of user manual		2018-08-06 01:00:18 -04:00
..
cgal_manual.bib	citations needed and intro of user manual	2018-08-06 01:00:18 -04:00
geom.bib	Updated	2017-08-10 09:31:13 +02:00