Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 May 2009 09:50:14 +0100] rev 845
Merge various fixes
Alpar Juttner <alpar@cs.elte.hu> [Tue, 12 May 2009 12:09:55 +0100] rev 844
Merge
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 07 May 2009 02:05:12 +0200] rev 843
Remove references of missing tools (#257)