Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 11:42:38 +0100] rev 1172
Merge bugfix #453 to branch 1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 11:41:40 +0100] rev 1171
Avoid GCC 4.7 compiler warnings (#453)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Nov 2012 09:07:41 +0100] rev 1170
Merge bugfix #440
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 18:13:26 +0100] rev 1169
Merge bugfix #440 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 18:10:07 +0100] rev 1168
Merge bugfix #440 to branch 1.1
Peter Kovacs <kpeter@inf.elte.hu> [Wed, 28 Mar 2012 19:39:56 +0200] rev 1167
Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 17:39:39 +0100] rev 1166
Merge docfix #437