RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9

From: David Whiteman <David_Whiteman@xxxxxxxxxx>
Date: Mon, 25 Feb 2008 11:15:19 -0500
Delivered-to: cosmos-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/cosmos-dev>
List-help: <mailto:cosmos-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cosmos-dev>, <mailto:cosmos-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/cosmos-dev>, <mailto:cosmos-dev-request@eclipse.org?subject=unsubscribe>

Martin wrote on 02/25/2008 11:09:45 AM: > The TPTP Manual Tests are binaries, I don't think I can create a patch.

If that doesn't work then zip up the binaries and attach them to the enhancement.

David

References:
- RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9
  - From: Simmonds, Martin

Prev by Date: RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9
Next by Date: RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9
Previous by thread: RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9
Next by thread: RE: [cosmos-dev] http://wiki.eclipse.org/COSMOS_DEMO_i9
Index(es):
- Date
- Thread

Breadcrumbs