Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 19:01:05 +0200] rev 1097
Merge NEWS file update to branch 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 18:58:46 +0200] rev 1096
Update NEWS file
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 18:56:00 +0200] rev 1095
Trim the documentation
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:39:40 +0200] rev 1094
Release branch 1.3 created
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:29:40 +0200] rev 1093
Remove long lines (from all but one file)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:28:17 +0200] rev 1092
Apply unify-sources.sh to the source tree