Thu, 30 Oct 2008 17:13:33 +0000TOC and section numbering are generated from toc.txt
Alpar Juttner <alpar@cs.elte.hu> [Thu, 30 Oct 2008 17:13:33 +0000] rev 10
TOC and section numbering are generated from toc.txt