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

From: Kostas Oikonomou <ko_at_research.att.com>
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.2.0 : Thu Feb 02 2012 - 02:31:58 CET