| TPTP version [message #133737] |
Tue, 05 August 2008 09:29  |
Eclipse User |
|
|
|
Originally posted by: jakrezni.cz.ibm.com
Hi,
back again with another question - I NEED to use Eclipse v3.2, so the last
compatible release of TPTP is 4.3.0 but it has some limitations, for
example today I got this message while running a test:
CAPTURED SYSTEM OUTPUT STREAM (MAXIMUM OF 10240 CHARACTERS)
Is their any way how to get a version "without any problems" and which
would work on Eclipse v3.2)? Let say the last stable?
IŽm pretty suer I want something unrealizable, thanks in advance, Jakub
|
|
|
| Re: TPTP version [message #133833 is a reply to message #133737] |
Wed, 06 August 2008 06:53  |
| Eclipse User |
|
|
|
Can you use Eclipse 3.2.2? If so, try TPTP 4.3.1
(http://www.eclipse.org/tptp/home/downloads/?ver=previous).
Paul
"Jakub Reznicek" <jakrezni@cz.ibm.com> wrote in message
news:6377584537b44213d675a21b9e6d4775$1@www.eclipse.org...
> Hi,
>
> back again with another question - I NEED to use Eclipse v3.2, so the last
> compatible release of TPTP is 4.3.0 but it has some limitations, for
> example today I got this message while running a test:
>
> CAPTURED SYSTEM OUTPUT STREAM (MAXIMUM OF 10240 CHARACTERS)
>
> Is their any way how to get a version "without any problems" and which
> would work on Eclipse v3.2)? Let say the last stable?
>
> I
|
|
|
Powered by
FUDForum. Page generated in 0.06191 seconds
Home