If you do not mind having working with separate installations in
parallel running an additional Galileo installation might solve your
Eclipse 3.6.2 (Helios SR2) was the last supported release for the
remaining TPTP sub-projects until the major exodus of the project in 2011.
Of course archived projects can be revived as soon as there is enough
interest and support from the community for it. From the technical side
this would at least require to:
- Reverse the changes to the build system to start building the sources
- Ensure compatibility for the past 2 (or 3 as Juno is nearing) Eclipse
> Please correct me if a better way with Eclipse exists for CBE Log View.
I know no alternative Eclipse based implementation for viewing CBE Logs.
Of course there is always XSLT to bring it into a more readable format.
> Could you please let me know how I can try to be part of tptp development?
The TPTP project is currently under restructuring as the current build
system has to be changed to depend on Git instead of CVS which is
currently the involuntary top priority.
There is also a dire need to finally get the BVT (Build Verification
Tools - the TPTP test framework) in a working condition again (this
broke as the build environment has to be moved to a completely different
location), so that future changes can be verified to work before doing a
Since Eclipse Indigo and soon Juno have introduced breaking changes in
TPTP dependencies it would be helpful to track down those 'non'-working
parts in TPTP and compile a list of defects to fix for the next release.
Investigating this would make a great starting point for you as you will
get to know the inner structures of this and other Eclipse project by this.
Your help would be more than welcome - even if starting contributions
are small. Find yourself a part you find fitting and do not hesitate to
ask away if you have any questions.