diff --git a/changes4.3.html b/changes4.3.html index 60ba35e1e..0a589bd4c 100644 --- a/changes4.3.html +++ b/changes4.3.html @@ -16,19 +16,20 @@

Yap-4.3.23:

@@ -42,9 +43,9 @@ update semantics.
  • FIXED: make instance of deleted fail for logical update semantics.
  • -
  • FIXED: garbage_collect should call do_gc with P, not CP.
  • -
  • FIXED: use YAPSHAREDIR as in manual (Ashwin Srinivasan).
  • -
  • FIXED: warning message about unify_extension.
  • +
  • FIXED: garbage_collect should call do_gc with P, not CP.
  • +
  • FIXED: use YAPSHAREDIR as in manual (Ashwin Srinivasan).
  • +
  • FIXED: warning message about unify_extension.
  • Yap-4.3.21: