Thu, 09 Oct 2008 13:52:01 +0100Merge 1.0
Alpar Juttner <alpar@cs.elte.hu> [Thu, 09 Oct 2008 13:52:01 +0100] rev 303
Merge

Thu, 09 Oct 2008 13:47:26 +0200Remove references to tools that have not been ported yet (ticket #119) 1.0
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 09 Oct 2008 13:47:26 +0200] rev 302
Remove references to tools that have not been ported yet (ticket #119)