此版本中的新功能：Version 1.2 Added a Print Proof to File feature. Print a formatted proof to a text file. Version 1.1 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.