Effective Immediately

New Release of DC Proof 1.0 includes:

1. Warning on Premise Rule that lists existential variables (those
introduced by Existential Specification) and the variables in your
premise on which they are dependent. Helps avoid unwanted
dependencies
among free variables in your conclusions, and the occasional, very
annoying rewrites that may have been required as a result of them.

2. Change to allow undo/redo operations without leaving insert mode.

3. Code generated by Make HTML File option now uses Unicode
character
for epsilon character. Will continue to ship e.gif file for older
documents.

4. Added Edit toolbar to Comment/Introduction, Premise and Subset
forms. Self-explanatory.

5. Updated user documentation to reflect the above changes.

Download at DC Proof Online at:

http://www.dcproof.com


OR

Download directly by clicking on:

http://www.dcproof.com/dcpsetup.exe


Dan Christensen
Toronto, Canada