use new SetCurrentAutoDocChapter/Section in AutoDoc v2013.08.07
properly documented QuillenSuslin
coding style: replace tabs by spaces