Search the web
Sign In
New User? Sign Up
dcproof · DC Proof Users' Group
  • Members Only
  • Post
  • Files
  • Photos
  • Links
  • Database
  • Polls
  • Members
  • Calendar
  • Promote
  • Groups Labs (Beta)
? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Message search is now enhanced, find messages faster. Take it for a spin.

Best of Y! Groups

   Check them out and nominate your group.
Having problems with message search? Fill out this form to ensure your group is one of the first to be migrated to the new message search system.

Messages

   Messages Help
Message #
Search:
Advanced
New Release of DC Proof 1.0 (Bug Fix)   Message List  
Reply | Forward Message #129 of 165 |
New Release of DC Proof 1.0 (Bug Fix)

Effective immediately

New release of DC Proof 1.0 dated 2005-12-10

Includes:

1. Fixed definition of pairwise intersection generated by Set
Operations option.

Download at DC Proof Online at:

http://www.dcproof.com


OR

Download directly by clicking on:

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


Dan Christensen
Sun Dec 11, 2005 5:51 am

Show Message Option
dchris1953
Offline Offline
Send Email Send Email

Forward 		Message #129 of 165 |
Expand Messages Author Sort by Date

Effective immediately. New release of DC Proof 1.0 including: 1. Fixed bug in Existential Generalization (E Gen) Rule that, in some cases, failed to detect if... 		Dan Christensen
dchris1953
Offline Send Email 		Oct 17, 2004
9:35 pm

Effective Immediately New release of DC Proof 1.0 includes: 1. Fixed bug that, in some cases, failed to update a proof or incorrectly returned a parser error...
Dan Christensen
dchris1953
Offline Send Email 		Dec 1, 2004
9:12 am

Effective Immediately New release of DC Proof 1.0 (dated 2005-05-17) includes: 1. Fixed minor bug in mouse-click processing. Occassionally, cursor data would...
Dan Christensen
dchris1953
Offline Send Email 		May 18, 2005
3:40 am

Effective Immediately New release of DC Proof 1.0, dated 2005-05-22 Includes: 1. Fixed bug in Make HTML File option that would occassionally drop symbols "<"...
Dan Christensen
dchris1953
Offline Send Email 		May 22, 2005
3:59 pm

Effective Immediately New release of DC Proof 1.0 dated 2005-06-11 includes: 1. Fix to bug in Case Rule that, in some cases, would not recognize valid...
Dan Christensen
dchris1953
Offline Send Email 		Jun 11, 2005
6:41 pm

Effective immediately New release of DC Proof 1.0 dated 2005-12-10 Includes: 1. Fixed definition of pairwise intersection generated by Set Operations option. ...
Dan Christensen
dchris1953
Offline Send Email 		Dec 11, 2005
5:51 am

Effective Immediately New Release of DC Proof 1.0 Includes: 1. Fixed bug in Universal Specification form that caused the form to close in response to some...
Dan Christensen
dchris1953
Offline Send Email 		Jan 25, 2006
9:18 pm

Effective Immediately New Release of DC Proof 1.0 Dated 2006-02-22 Includes: 1. Fixed bug in Subset Rule that would sometimes insert brackets improperly....
Dan Christensen
dchris1953
Offline Send Email 		Feb 22, 2006
3:34 pm
< Prev Topic  |  Next Topic >
Message #
Search:
Advanced
Copyright © 2009 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines - Help