Laurent Rineau 2952c8c399 Patch to the example MyKernel		2010-03-26 16:38:21 +00:00
..
fig	…
PkgDescription.tex	Merged revisions 53668-53669,53678-53679,53682-53686 via svnmerge from	2010-01-20 14:07:18 +00:00
common_intro.tex	…
extensible_kernel.tex	Patch to the example MyKernel	2010-03-26 16:38:21 +00:00
history.tex	Merged revisions 53703,53706-53708 via svnmerge from	2010-01-20 16:43:28 +00:00
introduction.tex	…
kernel_geometry.tex	…
kernel_overview.tex	…
kernel_representation.tex	More removal of obsolete ccTexHtml.	2009-01-03 13:10:07 +00:00
kernel_toc.tex	Add a new predicate in the Kernel: Compare_dihedral_angle_3.	2009-08-25 14:48:41 +00:00
main.tex	Resurrect the "Design and Implementation History" sections in Kernel_23 and	2009-01-03 15:54:11 +00:00
predicates_constructions.tex	…