binde.adb
51.2 KB
-
binde.adb (Better_Choice, [...]): Implement new preferences. · bd8b9b1e2006-10-31 Robert Dewar <dewar@adacore.com> * binde.adb (Better_Choice, Worse_Choice): Implement new preferences. From-SVN: r118245
Robert Dewar committed