I have been (obsessively) proofreading Symbolic Logic for a while now. The result is many improvements, most small, but some significant. A few matters of formatting and such to the side, the current version 9.x is (at least very close to) the completed project — although, of course, it still might be improved, especially in response to your comments. But it is time for me to move on, and especially to get back to the Symbolic Logic App.
If you have downloaded a previous copy–and especially if you will take up Parts II, III, and/or IV — I strongly recommend that you obtain the new version!! T.R.