Re: Utterly fail to set up a TPTP URL Test

Paul, many thanks for your response and your hint to the TPTP release notes!
To answer some of your questions:
OS:
Windows XP Prof,
JRE (SUN):
java version "1.6.0_07" Java(TM) SE Runtime Environment (build 1.6.0_07-b06)            
Java HotSpot(TM) Client VM (build 10.0-b23, mixed mode, sharing)
TPTP: 4.5 (added to Eclipse Version: 3.4.0 via Software-Update: Ganymede branch)
Browser: Firefox 3.0.5

Unfortunately, we cannot free any resources to help making TPTP capable of handling complex transactional scenarios.

Cheers
André