SWI-Prolog 7.1.3

Hi,

I have uploaded SWI-Prolog 7.1.3.  Mostly minor stuff.  Released for
three reasons:

   - A bug in dict memory management could cause a crash (also if you
     do not use dicts, as V7 uses them internally).
   - A port issue in process_create/3 caused the Ubuntu PPA to fail for
     all 7.1.x releases so far.
   - Next step is going to involve significant internal changes, which
     are likely to cause some regression.  Better have a release just
     before.

The current set of string operations will also appear in ECLiPSe and
YAP. Small changes are still possible, but I expect the set to be
stable.

Next step will change internal text representation to UTF-8, which will
add proper Unicode support for the Windows version (now, UTF-16
`surrogate pairs' are (incorrectly) considered separate characters). I'm
planning for a well integrated regular expression interface on top of
the string type, to be synchronised with ECLiPSe and YAP.

Thanks for reporting issues.

	Enjoy --- Jan


========================================
SWI-Prolog Changelog since version 7.1.2
========================================

  * DOC: LaTeX error

  * DOC: Map --> Dict renaming of argument names.

  * FIXED: utf8_skip_char() (recent addition)

  * ADDED: read_line_to_string/2 and read_file_to_string/3.  Also updated
    the documentation of the library(readutil).

  * DOC: Some more clarification to the string predicates

  * FIXED: Bug#146: Enable debug mode in main thread after setting a
    break point from the GUI.

  * FIXED: Bug#146: Update breakpoint adminstration if a file is reloaded.

  * FIXED: Issue with stack expansion in dict operations

  * MODIFIED: Updated PL_term_type() to return new types PL_NIL, PL_BLOB,
    PL_LIST_PAIR and PL_DICT

  * FIXED: UTF-8 handling in read_term/2

  * TEST: Try to fix saved-state tests for PPA environment

  * MODIFIED: Synchronise number_string/2 with ECLiPSe wrt. white space
    handling.

  * DOC: Clarified get_string_code/3 error reporting.


============
Package clib
============

  * PORT: process_create/3: Make pipe() option work on systems that provide
    the function, but return ENOSYS (Function not implemented) at runtime.

  * FIXED: Proper error message from a failed pipe2() syscall.

=============
Package pldoc
=============

  * FIXED: Include all <dt>'s that preceed a <dd> when rendering
    documentation from the HTML manual.  Wouter Beek.