diff --git a/changes4.3.html b/changes4.3.html
index 3c1bb4e11..0d2d931a8 100644
--- a/changes4.3.html
+++ b/changes4.3.html
@@ -16,38 +16,25 @@
Yap-4.3.19:
- - FIXED: make yap modules more compatible with SICStus Prolog
- - NEW: portray_clause/2 (request from Nicos Angelopoulos)
- - FIXED: document absolute_file_name/2
- - FIXED: absolute_file_name/2 should return absolute path,
- never user name! (bug report from Nicos Angelopoulos)
- - FIXED: in a:-b:call(X) X belongs to the module b (bug
- report from Nicos Angelopoulos)
- - FIXED: make consult/1 and friends meta-predicates (bug
- report from Nicos Angelopoulos)
- - FIXED: allow [M:F] and friends (bug report from
- Nicos Angelopoulos)
- - FIXED: ensure_loaded/1 can be used as a goal (bug report
- from Nicos Angelopoulos)
- - FIXED: abolish(VAR) should abolish all predicates in
- current module (bug report from Nicos Angelopoulos).
- - NEW: library(system), only for Unix system right now.
- - FIXED: allow current_stream/3 to work with third argument
- known.
- - FIXED: always leave enough space so that the hybrid garbage
- collection may work.
- - FIXED: add_to_path should not leave choice-points.
- - FIXED: don't initialise first occurrences in branches for
- func outputs.
- - FIXED: handle void variables in body.
- - NEW: externd C-interface with StreamToFileNo,
- BufferToString, and BufferToAtomList.
- - NEW: support pipes with open_pipe_stream/2.
- - FIXED:
functor/3
was generating too many
- deallocates at the end of a clause.
- - FIXED:
call_residue/2
should not allow
- constraints to escape (use
- copy_term_no_variables/2
to avoid this).
+ - FIXED: make yap modules more compatible with SICStus Prolog
+ - NEW:
portray_clause/2
(request from Nicos Angelopoulos)
+ - FIXED: document
absolute_file_name/2
+ - FIXED:
absolute_file_name/2
should return absolute path, never user name! (bug report from Nicos Angelopoulos)
+ - FIXED: in
a:-b:call(X)
X
belongs to the module b
(bug report from Nicos Angelopoulos)
+ - FIXED: make
consult/1
and friends meta-predicates (bug report from Nicos Angelopoulos)
+ - FIXED: allow
[M:F]
and friends (bug report from Nicos Angelopoulos)
+ - FIXED:
ensure_loaded/1
can be used as a goal (bug report from Nicos Angelopoulos)
+ - FIXED:
abolish(VAR)
should abolish all predicates in current module (bug report from Nicos Angelopoulos).
+ - NEW:
library(system)
, only for Unix system right now.
+ - FIXED: allow
current_stream/3
to work with third argument known.
+ - FIXED: always leave enough space so that the hybrid garbage collection may work.
+ - FIXED:
add_to_path
should not leave choice-points.
+ - FIXED: don't initialise first occurrences in branches for func outputs.
+ - FIXED: handle void variables in body.
+ - NEW: externd C-interface with
StreamToFileNo
, BufferToString
, and BufferToAtomList
.
+ - NEW: support pipes with
open_pipe_stream/2
.
+ - FIXED:
functor/3
was generating too many deallocates at the end of a clause.
+ - FIXED:
call_residue/2
should not allow constraints to escape (use copy_term_no_variables/2
to avoid this).
- SPEEDUP: optimise away
true/0
at the end of a clause.
- FIXED: do not short circuit trail entries.
- FIXED: Patches for memory allocation in Apple's OS/X.
@@ -58,10 +45,8 @@
- FIXED: force line buffering for text stream.
- FIXED: force no buffering for
user_error
.
- FIXED: flush all streams before writing answer.
- - FIXED:
YP_std*
are now streams, so that
- yap_flag(user_*)
will change them too.
- - FIXED:
nth/3
and nth0/3
would
- leave one extra choice-point.
+ - FIXED:
YP_std*
are now streams, so that yap_flag(user_*)
will change them too.
+ - FIXED:
nth/3
and nth0/3
would leave one extra choice-point.
- FIXED: use
Contents
instead of Uses
to determine live variables.
- FIXED:
cputime
was actually walltime
in WIN32, ugh (report from Steve Moyle).
- FIXED: regexp library would not compile on recent versions of cygwin.