2 Commits

Include renames

Author	SHA1	Message	Date
Jitse Niesen	a054b4ee27	Be more explicit about user-defined functions in Map tutorial. ... See discussion on mailing list on 18 + 19 Feb 2013.	2013-02-20 13:44:40 +00:00
Gael Guennebaud	2abe7d8c6e	Rename the dox files: the number prefixes are not needed anymore	2013-01-06 23:57:54 +01:00