source: stable @ 1888

Name Size Rev Age Author Last Change
../
1.1 793   13 years forrest restoring stable/1.1
1.2 798   13 years forrest restoring stable/1.2
2.0 1012   12 years forrest fix priorityin
2.1 1032   12 years forrest OA bug
2.2 1157   11 years forrest fix bug which had been fixed in 2.3
2.3 1310   11 years forrest check for infeasible bound tightening
2.4 1649   9 years stefan disable printf
2.5 1513   10 years forrest double double check infeasible at root
2.6 1672   9 years stefan rerun autotools; merge fixes in example Makefiles for mingw/cl from trunk
2.7 1872   7 years forrest fix for minibab
2.8 1888   7 years stefan sync with trunk rev 1887
Note: See TracBrowser for help on using the repository browser.