| Mon, 08 Aug 2011 12:36:16 +0200 | Unify sources | file | diff | annotate |
| Sat, 06 Mar 2010 14:35:12 +0000 | Unify the sources (#339) | file | diff | annotate |
| Mon, 23 Feb 2009 11:58:39 +0100 | Fix several missing includes (#232) | file | diff | annotate |
| Tue, 02 Dec 2008 22:48:28 +0100 | Thorough redesign of the LP/MIP interface (#44) | file | diff | annotate |