Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [] Finally, Bjorn runs the David-o-matic software for Europa

I re-ran the build again last night, but with the older JVMs so it still crashed a lot (internal errors). I am now working on moving to the new JVMs and will then let everyone know and then re-run the build. Stand by.

As of yesterday noon time, TPTP had updated the site.xml to remove the "url" attribute from the site.xml.  
Hubert had asked Bjorn to run the David-o-matic software again to pick up TPTP.  Do you know if this had happened, without success ? I haven't heard back from Bjorn on this

Unfortunately the JVM died on all the TPTP features - not your fault, but not useful to you.

Back to the top