Re: [eclipse-users] Question

From: Joachim Schimpf (Independent Contractor) <"Joachim>
Date: Wed, 11 Apr 2007 17:26:49 +0100
Farrell, Andrew wrote:
> Hi,
> I have a question regarding the use of the propria library. I am using
> the latest Windows bin dist of eclipse. 
> I am trying to load the propria library but the eclipse shell tells me
> that it does not exist.
> There appears to be some propria-related files in the distribution but
> not a DLL.
> Could anyone give me the status of the propria library? Is it still
> available? If so, how?

The library does not require any dlls.  It should simply load as follows:

?- lib(propia). loaded traceable 0 bytes in 0.01 seconds
Yes (0.02s cpu)

Are you sure you are not just mistyping - the name is propia, not propria!

-- Joachim
Received on Wed Apr 11 2007 - 17:27:09 CEST

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 03:15:36 CEST