Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » COSMOS » proposal for some initial proof of concept
proposal for some initial proof of concept [message #568560] Thu, 21 December 2006 16:36
Harm Sluiman is currently offline Harm Sluiman
Messages: 20
Registered: July 2009
Junior Member
As discussed in the weekly call, I finally started putting some thoughts in
the wiki. I hung the content of the working sessions page for now.

http://wiki.eclipse.org/index.php/COSMOSInitalPrototype

Please post comments here or add to the page. The basic idea is to leverage
chunks of TPTP but start doing our own api and use some SMLish model for the
basic system structure.
Previous Topic:Seeking input for Community calls for 2007
Next Topic:proposal for some initial proof of concept
Goto Forum:
  


Current Time: Sat Oct 25 04:26:06 GMT 2014

Powered by FUDForum. Page generated in 0.05107 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software