- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 15 Dec 2009 00:11:27 -0600
- To: public-cwm-talk@w3.org
- Cc: Jonathan Rees <jar@creativecommons.org>
On Mon, 2009-12-14 at 18:03 -0600, Dan Connolly wrote: > On Mon, 2009-12-14 at 17:44 -0600, Dan Connolly wrote: > [...] > > For details on how to run the example through cwm, see > > http://www.w3.org/2001/tag/dj9/Makefile > > > > Next step: get cwm to spit out a proof and format > > it nicely. Wish me luck. > > Sigh. cwm blows chunks. Details attached. I got it to work by commenting out the assertion; cwm complains a little bit, but the proof checks. This is fun stuff... http://www.w3.org/2001/tag/dj9/story.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Tuesday, 15 December 2009 06:11:30 UTC