Ann: SWI-Prolog 6.4.1.
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Hi, I have uploaded SWI-Prolog 6.4.1. Main reason was a bug in requirement handling for HTML resources (html_requires//1). Thanks to Wouter Beek for submitting a patch because my fix was still broken :-( The rest are minor issues Enjoy --- Jan ======================================== SWI-Prolog Changelog since version 6.4.0 ======================================== * FIXED: Abort and exceptions from the -g qoal should not be restarted. Markus Triska. * FIXED: Avoid trapping undefined win_has_menu/0. * MODIFIED: read_term/3 using subterm positions no longer includes the location of brackets into an embraced term. I.e., reading "(dynamic)" return the position (F-T) of the atom dynamic, and not of the (). This is needed for consistent grabbing of the lexical form of tokens. It might be worthwhile to consider an additional position term that indicates that the term is embraced. * ADDED: library(prolog_colour): colouring operator declarations. * ADDED: library(prolog_colour) to colour meta-predicate declarations. * FIXED: library(prolog_colour): avoid double colouring of DCG non-terminal calls. * FIXED: library(prolog_colour) for colouring DCG terminals. * CLEANUP: Coloring for hook predicates. * FIXED: Use current `type-in' module, as set with module/1 for defining the read syntax. Ian Tegebo. * ADDED: read_term_from_atom/3, superseding atom_to_term/3. The new interface follows a more consistent naming scheme (consider read_term_from_chars/2), while the option processing ability provides more flexibility than just returning the bindings. * CLEANUP: Use new interfaces for read_term/2,3 ============ Package http ============ * FIXED: Some uses of mailman (i.e., those containing post ids `script` and/or `head`) would no longer work due to a bug in html_write:move_last//3. * FIXED: Non-determinism in mailman. Markus Triska. * FIXED: Error in mailman handling =========== Package jpl =========== * FIXED: Avoid truncating integers. Patch by Abramo Bagnara. ============= Package pldoc ============= * ENHANCED: Since Markdown is now supported by plDoc, README and TODO files are allowed to have the extension `md` as well (besides `txt`). * ADDED: Additional interfaces to library(pldoc/doc_man) to provide a hierarchical index to the entire manual, including the packages. ============== Package plunit ============== * FIXED: set_test_options/1 run(make(all)). Wouter Beek. ============ Package sgml ============ * DOC: Avoid duplicate section identifier ============ Package tipc ============ * DOC: Added missing section identifier