Wed, 09 Nov 2011 11:41:52 +0100Unify sources 1.2 r1.2.3
Alpar Juttner <alpar@cs.elte.hu> [Wed, 09 Nov 2011 11:41:52 +0100] rev 1100
Unify sources

Wed, 09 Nov 2011 11:31:34 +0100Update NEWS file 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 09 Nov 2011 11:31:34 +0100] rev 1099
Update NEWS file