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

Reply via email to