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

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

From: Dan Connolly <connolly@w3.org>
Date: Sun, 24 Dec 2006 11:19:17 -0600
Message-Id: <ff6a470804d833a1c01f0af1625d54ae@w3.org>
Cc: public-cwm-bugs@w3.org, Daniel Krech <eikeon@eikeon.com>
To: Yosi Scharf <syosi@MIT.EDU>

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.

>  If you really want it, we can spend the time to make that work.
>
>
> Yosi
>
> On Oct 9, 2006, at 3:24 PM, Dan Connolly wrote:
>
>>
>> from some PAW work...
>>
>>     _logger.debug("Done serializing.\n")
>>
>>     # Check will not work with diag == 1 nor will check._s2f
>>     # Huh? why not? is this by design? if not, pls
>>     # report a bug to public-cwm-bugs@w3.org
>>
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Sunday, 24 December 2006 17:19:23 GMT

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