Fri, 31 Oct 2008 15:01:15 +0100Small improvements
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 31 Oct 2008 15:01:15 +0100] rev 11
Small improvements

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