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