Tag: Eclipse-Tptp

• 28 Dec 2008

  Eclipse TPTP on Ubuntu (64bit)

  I run ubuntu 64 bit (technically, I run an ubuntu 64bit vserver which I access from ubuntu 32 bit but thats not really ...