W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2009

Re: working on "A Model of Authority in the Web"

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>
Message-ID: <1260857487.3504.2885.camel@pav.lan>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:06 UTC