Added a Print Proof to File feature. Print a formatted proof to a text file.
This is the initial released version of LogicCalc. Please give it a try and let me know if you find any problems. I have worked with it extensively and wrung out most of the bugs but some may remain.