Fri, 08 May 2009 16:21:06 +0100Fix the faulty merge of unify-sources.sh in [586b65073025]
Alpar Juttner <alpar@cs.elte.hu> [Fri, 08 May 2009 16:21:06 +0100] rev 702
Fix the faulty merge of unify-sources.sh in [586b65073025]

Fri, 08 May 2009 13:15:29 +0200Doc fixes for lgf-gen (#282)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 May 2009 13:15:29 +0200] rev 701
Doc fixes for lgf-gen (#282)

Thu, 07 May 2009 12:21:00 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Thu, 07 May 2009 12:21:00 +0100] rev 700
Merge