- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 09 Jun 2006 17:26:11 -0500
- To: jos.deroo@agfa.com
- Cc: public-cwm-talk@w3.org
On Sat, 2006-06-03 at 14:17 +0200, jos.deroo@agfa.com wrote: [...] > which is now > http://eulersharp.cvs.sourceforge.net/eulersharp/2006/02swap/euler.yap?revision=1.44 > and produces > http://eulersharp.cvs.sourceforge.net/eulersharp/2006/02swap/etc5.ref?revision=1.58 > and it is a pleasure to use > http://www.w3.org/2000/10/swap/reason Wow... I got check.py to check the first proof there with just a couple tweaks: 1. add a r:Proof on the ultimate step 2. add r:source <http://www.agfa.com/w3c/euler/socrates.n3> to the 2 parsing steps and take the r:gives off them -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Friday, 9 June 2006 22:26:19 UTC