DC Proof 1.0
Beta Test Status Report
March 4, 2004
In February 2004, there were 299 downloads from the DC Proof Online website, and an unknown number of downloads from the Tucows site where DC Proof has a 48% popularity rating in its category (100% being the most popular).
Only one technical problem was reported in February: A user reported difficulty installing DC Proof in a Win 2000 Pro environment. It seems he needed an update from Microsoft.
Indications so far are that the current version (2004-03-03) is quite stable and safe. The last update included a fix for an erroneous error message in the File/Open command, and the addition of industry standard control-key shortcuts for common edit functions. The previous release (2004-02-15) included only minor menu layout changes.
DC Proof is written entirely in Visual Basic 6. It is setup using only standard Microsoft components. The .exe file is only 724 KB. Nine standard run-time modules are downloaded with it. Apart from the standard HTML Help file, data files are all simple binary files -- nothing very "high tech."
I have been using DC Proof myself to write
a series proofs -- over 2000 lines, so far -- to be included in a future
release. Working on an XP machine, I have had no program crashes or system
problems since my first release in December. Apart from an initial problem (in
December) with an erroneous pathname and the Win 2000 problem (see above),
there have been no technical problems reported.
March 7, 2004
New beta version. Fixed error message which pointed to the
wrong line when inserting a Premise. Also made changes to user documentation for
the Premise Rule to clarify the meaning of these error messages.
March 11, 2004
New beta version. Fixed bug in Find form which did not
properly process special character, epsilon.
March 13, 2003
Uploaded wrong version. Bug was still in Find form. Sorry for any inconvenience.
March 15, 2004
DC Proof Online was ranked by Alexa.com (an Amazon.com company) as the most popular website in its category (Subjects > Science > Math > Logic and Foundations > Software)
March 17, 2004
New beta version. Enabled Copy and Find
functions at any point in processing, the only exception being the invoking of
the Existential Generalization rule. Also updated User Manual to reflect this.
March 20, 2004
New beta version. Fixed bugs in Set Operations option of Sets menu, and other modules that did not recognize set operators: intersection (&&), union (||) and complement (`).
April 2, 2004
New beta version. Revised and expanded User
Reference Guide (Notation). Added links from Tutorial to User Reference
Guide to facilitate self-study.
April 3, 2004
New beta version. Fixed bug in "Show Last Active Stmts (F7)" option of View menu.
April 12, 2004
New beta version. Added Rich Text / Plain Text option (see Edit Menu) for copying text to and from other applications. Also fixed bug in Arbitrary Or Not rule that incorrectly indicated dependencies (references to other lines). Special thanks to Mark Hurd for his help in this release.
Dan Christensen
Toronto, Canada