|Problem building tutorial #22 from eclipseCon2005 [message #85758]
||Mon, 23 October 2006 12:50
| Deniz Ã?zsen
Registered: July 2009
I'm new to TPTP, learning by looking at docs and tutorials at the
moment. So I set up my workbench as follows (on Windows 2000):
- Eclipse 3.2
- TPTP 4.2.1 (+ all requirements)
and then imported the following example:
which I found here:
Now, this does not build within the workbench configuration I mentioned
above, and I suspect this must be the case because the example code was
based on an older version of TPTP, seeing as the example is from last year.
So my question is: What is the best way for me to make that example
work? Is a newer version of it available somewhere, or do I have to
download an older version of TPTP (and/or any other plug-ins)? If so,
then would anyone know what are the exact versions are that will make
the example code build?
I'd be grateful for any answer to this. Thanks in advance!
Powered by FUDForum
. Page generated in 0.02262 seconds