| [news.eclipse.tptp] Re: TPTP ran fine for first time but getting a time-out |
JDK 1.6.0_12
Eclipse Galileo - Java EE IDE for Web Developers. Build id: 20090621-0832
I am not sure how to reproduce this. I am attching the GIF image of all my plugin cfgs...please let me know if you want me to provide more detauls