diff --git a/changes-5.0.html b/changes-5.0.html
new file mode 100644
index 000000000..deb50ffd8
--- /dev/null
+++ b/changes-5.0.html
@@ -0,0 +1,45 @@
+
+
+
+
+
+ YAP change log
+
+
+
+
+
+
+
+Changes in YAP-5.0
+
+Yap-5.0.2:
+
+- FIXED: excessive backtracking in multifile declaration.
+- FIXED: broken do_print_message for defined_elsewhere.
+- FIXED: debugger option.
+- FIXED: trace through undefined predicates correctly.
+
+
+Yap-5.0.1:
+
+- FIXED: WIN32 missing include files (untested)
+- FIXED: -L trouble (my thanks to Takeyuchi Shiramoto-san)!
+- FIXED: debugging of backtrable user-C preds would core dump.
+- FIXED: redeclaring a C-predicate as Prolog core dumps.
+- FIXED: badly protected YapInterface.h.
+- FIXED: break/0 was failing at exit.
+- FIXED: YAP_cut_fail and YAP_cut_succeed were different from manual.
+- FIXED: tracing through data-bases could core dump.
+- FIXED: cut could break on very large computations.
+- FIXED: first pass at BigNum issues (reported by Roberto).
+- FIXED: debugger could get go awol after fail port.
+- FIXED: weird message on wrong debugger option.
+
+
+
+
+
+
+
diff --git a/changes-5.1.html b/changes-5.1.html
new file mode 100644
index 000000000..7117d0a1b
--- /dev/null
+++ b/changes-5.1.html
@@ -0,0 +1,84 @@
+
+
+
+
+
+ YAP change log
+
+
+
+
+
+
+
+Changes in YAP-5.1
+
+Yap-5.1.0:
+
+- FIXED: fix corruption in ypp.yap.
+- FIXED: ~@ makes format a meta-predicate.
+- FIXED: format should do immediate exit on exception (from Prolog call).
+- FIXED: make format reentrant and thread-safe (format may call itself).
+- FIXED: don't complain if a module is loading a reexported
+ predicate and the original predicate.
+- FIXED: change a few defaults for SWI compatibility.
+- FIXED: library prandom was broken (report from Nuno Fonseca).
+- NEW: add max_tagged_integer and min_tagged_inter prolog_flags.
+- NEW: add ~@ option to format.
+- NEW: memberchk/2 is like builtin in SWI emulation lib.
+- NEW: SWI like prolog_source_location/2
+- FIXED: $loop_stream usage was broken. Fix $fetch_stream_alias to
+ be bidirectional.
+- FIXED: allow nb_set followed by b_set, bheakkkk! The other way round
+is still not allowed.
+- NEW: from SWI maplist/2, maplist/3, maplist/4.
+- NEW: call/2, call/3, call/4.
+- FIXED: disable mutables in SWI mode.
+- FIXED: safe C-preds should always use P when calling garbage
+ collector, aarrggh :-(, CP use found in GetTermFromArray.
+- NEW: SWI-like ord_empty/1 and ord_memberchk/2 in library(ordsets).
+- FIXED: safe call_c should check for signals before calling a built-in.
+- NEW: -p option allows setting path from command line.
+- FIXED: during grow, heap references should not be followed from trail.
+- FIXED: \= was not resetting wakeups correctly.
+- FIXED: copy_term was broken if attrs were an unbound variable.
+- FIXED: during garbage collection, heap references should be
+ copied to trail, and that's it.
+- FIXED: excessive backtracking in multifile declaration.
+- NEW: allow style_check(singleton) and style_check(-singleton).
+- NEW: SWI module now makes atom_concat/{2,3} behave like atomic_concat/{2,3}.
+- NEW: add SWI-like copy_term_nat/2.
+- NEW: add SWI-like get_time and convert_time, but using integers, not floats.
+- NEW: add SWI-like working_directory/2 and chdir/2.
+- NEW: add append/3 and member/2 to SWI module.
+- FIXED: use bootstrap/1 to load up system.
+- FIXED: use_module/3 did not get info on loaded_module.
+- NEW: use_load_files as main file loading option.
+- FIXED: broken do_print_message for defined_elsewhere.
+- FIXED: debugger option.
+- FIXED: trace through undefined predicates correctly.
+- FIXED: WIN32 missing include files (untested)
+- FIXED: -L trouble (my thanks to Takeyuchi Shiramoto-san)!
+- FIXED: debugging of backtrable user-C preds would core dump.
+- FIXED: redeclaring a C-predicate as Prolog core dumps.
+- FIXED: badly protected YapInterface.h.
+- FIXED: break/0 was failing at exit.
+- FIXED: YAP_cut_fail and YAP_cut_succeed were different from manual.
+- FIXED: tracing through data-bases could core dump.
+- FIXED: cut could break on very large computations.
+- FIXED: first pass at BigNum issues (reported by Roberto).
+- FIXED: debugger could get go awol after fail port.
+- FIXED: weird message on wrong debugger option.
+- FIXED: cases where restore/1 could break.
+- NEW: SWI predicates now update prolog module
+- NEW: port of Leslie's CLP(R) system.
+- NEW: generations in garbage collector.
+- SPEEDUP: optimise some garbage collector code.
+
+
+
+
+
+
+
diff --git a/distribute b/distribute
index a9089e936..8a35c5b9e 100755
--- a/distribute
+++ b/distribute
@@ -15,6 +15,12 @@ cd ../VC
splat
cd ../LGPL
splat
+cd chr
+splat
+cd ../clpr
+splat
+cd ../clp
+splat
cd JPL
splat
cd src
@@ -83,7 +89,7 @@ cd examples
splat
cd ../../../..
if test "$1" = "--small"; then
- tar cvzf "$version"-small.tar.gz --exclude=CVS "$version"/{Artistic,INSTALL,README*,changes*,config*,install-sh,Makefile.in,.depend.in,distribute,C,H,VC,console,docs,include,library,misc,pl,LGPL/README,LGPL/pillow/[C-Z]*,LGPL/pillow/*.pl,LGPL/pillow/doc/*info*,LGPL/JPL/jpl.yap,LGPL/JPL/jpl_paths.yap.in,LGPL/JPL/Makefile.in,LGPL/JPL/java,LGPL/JPL/src,build-distr,OPTYap,BEAM,CLPQR,CHR,CLPBN} # --exclude=CLPQR/clpqr/examples --exclude=CHR/chr/examples
+ tar cvzf "$version"-small.tar.gz --exclude=CVS "$version"/{Artistic,INSTALL,README*,changes*,config*,install-sh,Makefile.in,.depend.in,distribute,C,H,VC,console,docs,include,library,misc,pl,LGPL/README,LGPL/pillow/[C-Z]*,LGPL/pillow/*.pl,LGPL/pillow/doc/*info*,LGPL/JPL/jpl.yap,LGPL/JPL/jpl_paths.yap.in,LGPL/JPL/Makefile.in,LGPL/JPL/java,LGPL/JPL/src,build-distr,OPTYap,BEAM,LGPL/clpr,LGPL/chr,CLPBN} # --exclude=CLPQR/clpqr/examples --exclude=CHR/chr/examples
else
- tar cvzf "$version".tar.gz --exclude=CVS "$version"/{Artistic,INSTALL,README*,changes*,config*,install-sh,Makefile.in,.depend.in,distribute,C,H,VC,console,docs,include,library,misc,pl,LGPL/README,LGPL/pillow/[C-Z]*,LGPL/pillow/*.pl,LGPL/pillow/doc/*info*,LGPL/JPL/jpl.yap,LGPL/JPL/jpl_paths.yap.in,LGPL/JPL/Makefile.in,LGPL/JPL/java,LGPL/JPL/src,build-distr,build-distr,OPTYap,BEAM,CLPQR,CHR,CLPBN,Logtalk}
+ tar cvzf "$version".tar.gz --exclude=CVS "$version"/{Artistic,INSTALL,README*,changes*,config*,install-sh,Makefile.in,.depend.in,distribute,C,H,VC,console,docs,include,library,misc,pl,LGPL/README,LGPL/pillow/[C-Z]*,LGPL/pillow/*.pl,LGPL/pillow/doc/*info*,LGPL/JPL/jpl.yap,LGPL/JPL/jpl_paths.yap.in,LGPL/JPL/Makefile.in,LGPL/JPL/java,LGPL/JPL/src,build-distr,build-distr,OPTYap,BEAM,LHPL/clpr,LGPL/chr,CLPBN,Logtalk}
fi