| 2010-03-01 | Configurable glpk prefix in ./scripts/bootstrap.sh and ... | file | diff | annotate |
| 2009-11-19 | Valgring option for ./scripts/bootstrap.sh | file | diff | annotate |
| 2009-10-05 | Add soplex support to scripts/bootstrap.sh plus... | file | diff | annotate |
| 2009-09-29 | Simple interactive bootstrap script | file | diff | annotate |