From 897841d79fdb27772516bd1abbbc039f41c8188a Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Sat, 17 May 2003 20:47:45 +0000 Subject: [PATCH] *** empty log message *** --- Packages/Robustness/changes.txt | 3 +++ 1 file changed, 3 insertions(+) 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 .