diff --git a/Packages/Robustness/changes.txt b/Packages/Robustness/changes.txt index 64a717857e3..bfd3523dd0c 100644 --- a/Packages/Robustness/changes.txt +++ b/Packages/Robustness/changes.txt @@ -1,3 +1,6 @@ +1.16 (17 May 2003) [af] +- Replaced Interval_base::unsafe_comparison with Interval_nt::unsafe_comparison + 1.15 (12 April 2003) - Replace by .