Guillaume Damiand e8a14e3303 Typo in name of Bernd		2011-10-14 18:47:20 +00:00
..
Combinatorial_map	Typo in name of Bernd	2011-10-14 18:47:20 +00:00
Combinatorial_map_ref	Small corrections in ref manual after a last proofread.	2011-07-21 18:29:28 +00:00