Hi Rob,
Thanks for you reply. You're right, ProofPower doesn't have to be in the
middle, as there is no dependency. Could you give me some hint about how to
build ProofPower + some_libraries ?
best,
Yuhui
On 22 Feb 2013, at 14:41, Rob Arthan wrote:
> Yuhui,
>
> On 22 Feb 2013, at 14:24,
Yuhui,
On 22 Feb 2013, at 14:24, Yuhui Lin wrote:
> Hi,
>
> I wonder if is possible to load proof power from polyML directly, perhaps by
> PolyML.make with the proof power source code.
I have never tried PolyML.make. There is no reason why you shouldn't compile
the ProofPower source code by l
Hi,
I wonder if is possible to load proof power from polyML directly, perhaps by
PolyML.make with the proof power source code. The fact is that we want to build
a system which proof power will be in the middle of the architecture, i.e
some_libraries <-- proofpower <-- another_component_with_UI
