[eclipse-clp-users] "bug" in user manual , 6.0.185

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Kostas Oikonomou <ko_at_...308...>
Date: Thu, 08 Sep 2011 11:33:15 -0400

In sec. 6.4.1 of the User Manual, the hyperlink for

:- lib(Libs)

is common/doc/bips/kernel/modules/lib-1.html, and it should 
be common/doc/bips/kernel/compiler/lib-1.html. Or lib-1.html 
is in the wrong place.


			Kostas

Received on Thu Sep 08 2011 - 16:00:21 CEST

This message: [ Message body ]
Next message: Kish Shen: "Re: [eclipse-clp-users] "bug" in user manual , 6.0.185"
Previous message: Alexandre Saidi: "Re: [eclipse-clp-users] Consult failure"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] "bug" in user manual , 6.0.185"
Reply: Kish Shen: "Re: [eclipse-clp-users] "bug" in user manual , 6.0.185"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST