search

lidingpku / inference-web

Automatically exported from code.google.com/p/inference-web
0 stars 0 forks source link

Cynthia can't load a combined proof in ProbeIt #10

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Cynthia to try again, email Nick and cc Paulo

Original issue reported on code.google.com by tim...@gmail.com on 7 Oct 2010 at 3:34

GoogleCodeExporter commented 9 years ago 
Message sent to Nick:

Hi Nick,

We discussed some issues related ProbeIt in today's iw meeting. 
One thing is that I had problem loading combined proof into ProbeIt
before. So I just tried to load a combined proof into ProbeIt on mac
again. What I saw was that the orange ProbeIt screen blinked and then 
disappeared. Could you please let me know what happened? 
Here is the url I used:
http://iw.cs.utep.edu:8080/startprobeit/webstart?pmlURI=http://inference-web.org
/proofs/tptp/Solutions/SEU/SEU140+1/EP---1.1/full_combine_Full_combine.owl#answe
r

Thanks,

csc

Original comment by csccs...@gmail.com on 7 Oct 2010 at 4:08