announcements of deadlines and changes in schedules and assignments will be
posted here....
I have improved the checker tool to more precisely track proof steps and to print better validation feedback in verbose mode. You are welcome to download the new version from the CIS301 web page.
All you need to reinstall is the Checker folder, so I prepared a zipped file of it, which you can grab here: www.cis.ksu.edu/~schmidt/301s12/cis301/Checker.zip