Merge pull request #843 from mthom/rebis-dev

Merge rebis-dev into master

diff --cc README.md
index 1b7411e1a298d117bad296982a170c3f794b95e6,c15c6b8bc73d24561afc0bbcc86f37fe77431310..f11a4c97cc1aacd73bb7815e4a74690cbb616aba
--- 1/README.md
--- 2/README.md
+++ b/README.md
@@@ -59,11 -89,10 +59,10 @@@ Extend Scryer Prolog to include the fol
  - [x] clp(B) and clp(ℤ) as builtin libraries.
  - [x] Streams and predicates for stream control.
    - [x] A simple sockets library representing TCP connections as streams.  
--- [ ] Incremental compilation and loading process, newly written,
-       primarily in Prolog. (_in progress_, see
-       [#775](https://github.com/mthom/scryer-prolog/issues/775))
 -      primarily in Prolog. (_in progress_)
--- [ ] A compacting garbage collector satisfying the five
--      properties of "Precise Garbage Collection in Prolog."
++- [x] Incremental compilation and loading process, newly written,
++      primarily in Prolog.
++- [ ] A compacting garbage collector satisfying the five properties of
++      "Precise Garbage Collection in Prolog." (_in progress_)
  - [ ] Mode declarations.
  
  ## Phase 3