Fri, 09 Aug 2013 18:58:46 +0200Update NEWS file
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 18:58:46 +0200] rev 1096
Update NEWS file

Fri, 09 Aug 2013 18:56:00 +0200Trim the documentation 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 18:56:00 +0200] rev 1095
Trim the documentation