Sounds like a great idea David, but might take a while to get to the top of anyone's priority list (except perhaps yours).
ProofPower is open source, so you might consider going off to github, and opening an "issue" for this proposed enhancement. Then you could fork the repository, and do the enhancement yourself! Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
