| Wed, 28 Nov 2012 11:54:43 +0100 | Alpar Juttner | Merge #453 to branches >=1.2 | changeset | files |
| Wed, 28 Nov 2012 11:41:40 +0100 | Alpar Juttner | Avoid GCC 4.7 compiler warnings (#453) | changeset | files |
| Thu, 08 Nov 2012 09:07:41 +0100 | Alpar Juttner | Merge bugfix #440 | changeset | files |
| Wed, 28 Mar 2012 19:39:56 +0200 | Peter Kovacs | Fix a bug + remove redundant typedefs in dimacs-solver (#440) | changeset | files |