|Re: Plans for upcoming TPTP releases [message #626452 is a reply to message #558617]
||Wed, 22 September 2010 10:57
| Kathy Chan
Registered: July 2009
As stated earlier, the TPTP project had evolved and matured over the years. |
It had been in maintenance mode for over two years. We will need
significant participation and contribution from the community to keep TPTP
going as an open source Eclipse project. Since this had not happened, we
proposed a plan to have an orderly archival of the project after the TPTP
4.7.2 release (February 2011).
Thank you for your interest in the project!
"Trevor Whitlock" <email@example.com> wrote in message
>I would like to understand why the profiler for eclipse has died. Was it
>lack of people dedicated to supporting it on the different platforms? Was
>it too complicated?
Powered by FUDForum
. Page generated in 0.01704 seconds