Fri, 31 Oct 2008 21:00:25 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 31 Oct 2008 21:00:25 +0000] rev 12
Merge

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