- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Tue, 26 Dec 2006 13:34:54 -0500
- 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 UTC