Getting TPTP installed in Ubuntu – first post from Ivar

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.

One Comment

  1. 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!

    CocoChanels
    Posted June 30, 2009 at 4:45 am | Permalink

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Anti-Spam Protection by WP-SpamFree