- 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