RE: [cosmos-dev] Development environments

["Todd, John A" <John.Todd@xxxxxx>]

In fact, I have found integration problems with Eclipse 3.3 on Linux regarding other plugins (WTP, EMF, GEF)

So not only should you use 3.4, but 3.3 might not even work in some cases.

 

- John

 

 

---

From: cosmos-dev-bounces@xxxxxxxxxxx [mailto:cosmos-dev-bounces@xxxxxxxxxxx] On Behalf Of David Whiteman
Sent: Wednesday, January 30, 2008 5:09 PM
To: cosmos-dev@xxxxxxxxxxx
Subject: [cosmos-dev] Development environments

 

Since our plan is to release COSMOS 1.0 concurrently with Eclipse 3.4, we should all make sure we get on that codebase soon for our development and testing.  As we are all dependent on TPTP for our testing, I found a TPTP all-in-one package that is a stable build based on the Eclipse 3.4 development stream.  Here's the download page:

http://www.eclipse.org/tptp/home/downloads/?buildId=TPTP-4.5.0M4-200712211700

If there is a wiki page somewhere with the recommended development setup, please let me know and I'll update it with this info.

Thanks,
David