Addendum

--- In dcproof@yahoogroups.com, "Dan Christensen" <dchris@...> wrote:
>
> 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.


Also...

6. Reorganized Samples directory. New files include axioms and
properties of the real numbers.

Dan


>
> 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
>