Effective Immediately

New Release of DC Proof 1.0 dated 2006-02-07

Includes:

1. Changed colour of system generated comments on main screen and in
HTML output for enhanced readability.

2. Streamlined insert mode to minimize scrolling and other
inconveniences. This should help in writing longer proofs. Affects
Hide/Show Details (F5, F6), and line deletions while in insert mode.

3. Changes to user documenation: Inserted missing page from Example
8 of Tutorial (line 5). (Oooops!) Added paragraph "Problems with
Dependency among Variables" to The Specification Rules page, and
addition links to this page.

Download at DC Proof Online at:
http://www.dcproof.com

OR

Download directly by clicking on:
http://www.dcproof.com/dcpsetup.exe

Dan Christensen