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.