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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to