Re: [eclipse-users] Question

From: Joachim Schimpf (Independent Contractor) <jschimpf_at_...5...>
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).
propia.eco 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.2.0 : Mon Jul 09 2018 - 02:05:29 CEST