AhtiK Ventures

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.

No Comments »

No comments yet.

RSS feed for comments on this post.

Leave a comment

Name (required)

Mail (will not be published) (but required)

Website

XHTML ( You can use these tags): <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong> .

Security Code:

Ahti Kitsik (Email Me)


Eclipse RCP developers

This work is licensed under a Creative Commons Attribution 2.5 License.

Web ahtik.com