On 31 Jan 2012, at 23:39, Phil Clayton wrote: > Currently ProofPower doesn't build with SML/NJ. A patch is attached to fix > this.
Thanks for that Phil. I will include this in the next release. Good to see that the SML/NJ people seem to be active again. Regards, Rob.
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com