Sébastien Loriot d4d9bc212b replace in the doc \R by \mathbb{R} ... \R is not a valid latex command I used: sed -i 's/\\f$\s*\\R/\\f$ \\mathbb{R}/g'		2013-07-10 17:07:43 +02:00
..
doc/Kernel_d	replace in the doc \R by \mathbb{R}	2013-07-10 17:07:43 +02:00
doc_tex	fix doc-tex doc	2013-05-22 08:35:50 +02:00
include/CGAL	…
noweb	…
package_info/Kernel_d	…
test/Kernel_d	…
dont_submit	…