Effective Immediately

New Release of DC Proof 1.0 dated 2006-03-20 includes:

1. Added Reset button to Substitution Form.

2. When closing a Premise Block (clicking the "Conclusion" tag), the
Conclusion is now positioned at the bottom of the main window.

3. When a user comment is added or changed, the resulting statement
is now positioned at the bottom of the main window. Generally
speaking, changes of all kinds are now displayed at the bottom of
the main window -- new statments, comments, etc. -- in both insert
and add modes. This should make proof writing a bit easier, with
less visual searching of the main window. The only exception is the
opening of a Premise Block (clicking the "Conclusion" tag). The
Premise will be placed at the TOP of the main window, as you might
expect.

4. Revised user documentation on Existential
Specification, "Problems with Dependencies Among Variables."


Download at DC Proof Online at:

http://www.dcproof.com


OR

Download directly by clicking on:

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


Dan Christensen