Thanks. Fixed in source.
Did you know ... | Search Documentation: |
Title for pldoc(object(section('sec:cplfd-arith-constraints'))) |
Sorry, No manual entry for section(sec:cplfd-arith-constraints)
Right now the URL of this HTML page is: http://eu.swi-prolog.org/pldoc/man?section=cplfd-arith-constraints
Shouldn't that rather be section=clpfd-arith-constraints ? (+ possibly a auto-follow page in the current=soon_to_become_old place)