One of the Codehoopers started to blog about Eclipse and programming, welcome aboard!
As he doesn’t have much readers yet I guess it’s ok to point to his first post: Eclipse TPTP and Ubuntu”
It’s about getting TPTP running. Especially under Linux. Don’t underestimate the complexity of this – it’s not that easy
Nice post, thank you!
PS. Some old-time readers might remember that Ivar has been featured at this blog also before – Four is the Magical Number – and so is 5920.


RSS
LinkedIn
Facebook
One Comment
Who knows where to download XRumer 5.0 Palladium?
Help, please. All recommend this program to effectively advertise on the Internet, this is the best program!