W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > December 2006

Re: check doesn't workt with daig == 1

From: Yosi Scharf <syosi@MIT.EDU>
Date: Tue, 26 Dec 2006 13:34:54 -0500
Message-ID: <45916B4E.1070506@mit.edu>
To: Dan Connolly <connolly@w3.org>
CC: public-cwm-bugs@w3.org, Daniel Krech <eikeon@eikeon.com> 

Dan Connolly wrote:
>
> On Dec 24, 2006, at 10:33 AM, Yosi Scharf wrote:
>> Creating a proof of the generation of a proof is not that useful.
>
> Huh? We're talking about a diagnostic option, not options
> for proof generation or not.

No actually. The lines are:

    # Check will not work with diag == 1
    diag.tracking = 0
    diag.setTracking(0)

diag.tracking is for proofs.


Yosi
Received on Tuesday, 26 December 2006 18:35:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT