Has anyone succeeded in building ProofPower on MacOs Sequoia 15? I had a go. PolyML fails to build whether from the source or when installing by macport. SML/NJ builds OK, but the ProofPower dev package fails to build with it.
Roger Jones _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
