[cosmos-dev] Development environments

[David Whiteman <David_Whiteman@xxxxxxxxxx>]

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