- From: Tim Berners-Lee <timbl@w3.org>
- Date: Fri, 2 Nov 2007 10:49:45 -0400
- To: Dan Connolly <connolly@w3.org>
- Cc: public-cwm-bugs@w3.org
re: http://lists.w3.org/Archives/Public/public-cwm-bugs/2006Oct/0003.html Yosi's conclusion is that generating proofs while in proof-checking mode is not supported. Tim
Received on Friday, 2 November 2007 14:50:39 UTC