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 C29EReceived on Friday, 9 June 2006 22:26:19 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT