00:23:25 <djweitzner> djweitzner (n=djweitzn@pool-70-108-182-109.washdc.east.verizon.net) has joined #dig
00:29:01 <djweitzner> djweitzner has quit (Read error: 104 (Connection reset by peer))
01:05:50 <lkagal> lkagal (n=lkagal1@98.68.171.66.subscriber.vzavenue.net) has joined #dig
01:48:26 <Biblio> Biblio (i=tehfil@200.49.140.95) has joined #dig
06:06:49 <eikeon_> eikeon_ has quit (Read error: 110 (Connection timed out))
06:33:46 <eikeon> eikeon (n=eikeon@dsl092-168-155.wdc2.dsl.speakeasy.net) has joined #dig
08:05:28 <tlr> tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
11:15:25 <Biblio> Biblio has quit (Read error: 113 (No route to host))
11:58:08 <RalphS> RalphS (n=swick@31-33-217.wireless.csail.mit.edu) has joined #dig
12:27:24 <timbl> timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
13:32:55 <minjod> minjod (n=angry@lan-84-240-12-80.vln.skynet.lt) has joined #dig
14:24:01 <jfisteus> jfisteus (i=jaf@30-6-86.wireless.csail.mit.edu) has joined #dig
14:28:53 <lkagal> lkagal has quit ()
14:34:14 <timbl> timbl has quit ()
14:43:00 <ryanlee> ryanlee (n=ryanlee@30-7-213.wireless.csail.mit.edu) has joined #dig
14:44:43 <timbl> timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
14:52:50 <timbl> timbl has quit ()
14:53:54 <harveyj> harveyj (n=harveyj@30-5-107.wireless.csail.mit.edu) has joined #dig
14:55:15 <DanC> yosi, did you see my message about @forSome in proofs? http://lists.w3.org/Archives/Public/public-cwm-talk/2006JulSep/0009.html
14:55:20 <DanC> timbl, please take a look
15:00:01 <timbl> timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
15:04:26 <timbl> There is a TAMI meeting now?  
15:04:40 <timbl> In what room?
15:05:32 <timbl> Hal has not been seen today.
15:05:38 <djweitzner> djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
15:05:54 <timbl> Gerry says he fughting fires and will be ~30mins late
15:06:07 <timbl> There is a TAMI meeting?
15:07:00 <timbl> djweitzner?
15:07:30 <harveyj> there's a tami meeting
15:07:34 <djweitzner> hi tim
15:07:40 <harveyj> i'm alone in 531 right now
15:08:47 <djweitzner> Tim, are attending TAMI?
15:09:41 <timbl> I didn't spot the room change.
15:09:47 <timbl> I will be up shortly
15:09:58 <lkagal> lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
15:10:08 <timbl> timbl has quit ()
15:10:23 <djweitzner> great
15:13:42 <timbl> timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
15:59:20 <minjod> minjod has quit ("none")
16:20:10 <timbl> timbl has quit ()
16:20:23 <harveyj> harveyj has quit ()
16:32:11 <yosi_s> yosi_s (n=chatzill@w3cdhcp27.w3.org) has joined #dig
16:33:55 <DanC> lkagal, I also sent mail to paw-team... "But I can't get it to work on any PAW proofs."
16:34:31 <DanC> a couple weeks ago, in a DIG meeting, when I said I thought PAW was stalled, you said you and Yosi and Daniel K. had sync'd up. I'd like a pointer to the bits you sync'd on.
16:34:49 <DanC> hmm... you're prolly at lunch, aren't you?
16:35:07 <lkagal> Looking for appropriate links... 
16:36:35 <DanC> cool.
16:36:57 <DanC> I'm particularly interested in a pointer to the current judy-proof, I think
16:37:12 <DanC> I can imagine that it's not checked in, since engine.py generates it on the fly
16:37:36 <DanC> it's easier for me to work at the cwm command-line level than with engine.py, today
16:38:02 <lkagal> DanC, here's the current request, policy, proof that works in PAW : http://dig.csail.mit.edu/2006/06/rein/
16:38:39 <DanC> hmm... I was there last night...
16:38:46 <lkagal> Actually, though cwm supports Example 1, engine.py implements only Example 2 
16:39:11 <DanC> cwm supports http://dig.csail.mit.edu/2006/06/rein/example/judy.proof ? I couldn't get check.py to work on it.
16:39:48 <DanC>  Proof failed:  Extraction {{2} log:implies {6}}=
16:39:49 <DanC> ... etc.
16:40:16 <DanC> I just reproduced the problem now
16:40:24 <DanC> yosi_s, does it work for you?
16:41:27 <yosi_s> DanC, what exactly is the case?
16:41:50 <DanC> :~/w3ccvs/WWW/2000/10/swap$ PYTHONPATH=$swap/.. python check.py http://dig.csail.mit.edu/2006/06/rein/example/judy.proof
16:41:53 <lkagal> Have you checked out the paw tagged version of cwm ? 
16:42:01 <DanC> no
16:42:10 <DanC> I wasn't aware there was such a thing
16:42:58 <DanC> for reference, judy.proof is Last-Modified: Mon, 10 Jul 2006 21:56:02 GMT Content-Length: 283279
16:47:15 <yosi_s> DanC, I don't know what generated that proof
16:47:27 <yosi_s> check.py seems to have found a real issue
16:47:46 <yosi_s> the files referenced have changed too much since the proof was generated
16:47:58 <yosi_s> so when it verifies parsings, it failed
16:51:45 <yosi_s> I can't svn update on engine.py stuff
16:52:11 <yosi_s> the version I have does not have any changes from my last conversation with eikeon 
16:52:59 <tlr> tlr has quit ("leaving")
16:54:59 <tlr> tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
16:59:54 <yosi_s> lkagal, the files on the web changed
17:00:01 <yosi_s> that's why things broke
17:00:34 <yosi_s> DanC, I think I have a fix for your formula break-up problem
17:00:39 <yosi_s> yosi_s has quit ("Chatzilla 0.9.72 [Firefox 1.5.0.4/2006060216]")
17:01:22 <DanC> cool, yosi_s!
17:04:26 <djweitzner> djweitzner has quit ()
17:05:51 <timbl> timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
17:06:26 <lkagal> Yosi, I haven't committed any changes to the PAW examples  since July, have you ? 
17:17:34 <djweitzner> djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
18:07:34 <DanC> ah, got your message about the sync, lkagal 
18:10:41 <djweitzner> djweitzner has quit ()
18:14:07 <djweitzner> djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
18:27:53 <DanC> yosi, I don't see any commits from you. ETA?
18:30:17 <djweitzner> Tim?
19:11:17 <DanC_lap> DanC_lap (n=connolly@64-126-89-30-dhcp-kc.everestkc.net) has joined #dig
19:22:12 <djweitzner> djweitzner has quit ()
19:26:09 <tlr> tlr has quit ("leaving")
19:32:20 <djweitzner> djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
19:38:13 <tlr> tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
20:22:19 <RalphS> RalphS has quit ("bye for today")
20:24:33 <djweitzner> djweitzner has quit ()
21:16:49 <timbl> Danny?
21:35:24 <jfisteus> jfisteus has left #dig
21:38:15 <tlr> tlr has quit ("leaving")
23:11:03 <timbl> timbl has quit ()
23:28:08 <lkagal> lkagal has quit ()