| Mon, 01 Mar 2010 07:51:45 +0100 | Configurable glpk prefix in ./scripts/bootstrap.sh and ... | file | diff | annotate |
| Thu, 19 Nov 2009 09:36:43 +0100 | Valgring option for ./scripts/bootstrap.sh | file | diff | annotate |
| Mon, 05 Oct 2009 09:48:57 +0200 | Add soplex support to scripts/bootstrap.sh plus... | file | diff | annotate |
| Tue, 29 Sep 2009 09:25:00 +0200 | Simple interactive bootstrap script | file | diff | annotate |