| Problem building tutorial #22 from eclipseCon2005 [message #85758] |
Mon, 23 October 2006 12:50  |
Eclipse User |
|
|
|
Hi there,
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:
EclipseCon_2005_Tutorial_22_Source_Code_Antony_Miguel_Paul_S lauenwhite.zip
which I found here:
http://www.eclipse.org/tptp/home/documents/conferences/eclip seCon2005/index.html
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!
Regards,
Deniz
|
|
|
|
Powered by
FUDForum. Page generated in 0.03996 seconds
Home