Fri, 10 Oct 2008 10:52:08 +0100Merge from trunk 1.0
Alpar Juttner <alpar@cs.elte.hu> [Fri, 10 Oct 2008 10:52:08 +0100] rev 326
Merge from trunk

Thu, 09 Oct 2008 22:41:29 +0200Doc improvements
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 09 Oct 2008 22:41:29 +0200] rev 325
Doc improvements

Thu, 09 Oct 2008 16:20:37 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Thu, 09 Oct 2008 16:20:37 +0100] rev 324
Merge

Thu, 09 Oct 2008 21:06:43 +0200Fix erroneous merge 1.0
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 09 Oct 2008 21:06:43 +0200] rev 323
Fix erroneous merge