MODIFIED: display/1,2 is now mapped to write_term/2,3 using the options quoted(true) and ignore_ops(true).  Before, quoted was not set to true.
MODIFIED: display/1,2 is now mapped to write_term/2,3 using the
options quoted(true) and ignore_ops(true).  Before, quoted was
not set to true.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel