[cross-project-issues-dev] TPTP RC2 update site is ready

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

[cross-project-issues-dev] TPTP RC2 update site is ready

From: Hubert H Leung <hkyleung@xxxxxxxxxx>
Date: Sat, 6 May 2006 14:26:08 -0400
Delivered-to: cross-project-issues-dev@xxxxxxxxxxx
List-archive: <http://eclipse.org/pipermail/cross-project-issues-dev>
List-help: <mailto:cross-project-issues-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev>, <mailto:cross-project-issues-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev>, <mailto:cross-project-issues-dev-request@eclipse.org?subject=unsubscribe>

TPTP RC2 update site is ready.

1. Callisto tools features-tptp.xml updated

2. Download link: http://www.eclipse.org/tptp/home/downloads/drops/TPTP-4.2.0-200604131758A.html

3. Update site: http://download.eclipse.org/tptp/updates/4.2milestones/site.xml

_________________________
Hubert Leung
IBM Toronto Lab
hkyleung@xxxxxxxxxx
905-413-3382

Prev by Date: RE: [cross-project-issues-dev] Callisto RC2 Status and things to do forMonday
Next by Date: [cross-project-issues-dev] Callisto meeting tomorrow
Previous by thread: RE: [cross-project-issues-dev] Callisto RC2 Status and things to do forMonday
Next by thread: [cross-project-issues-dev] Callisto meeting tomorrow
Index(es):
- Date
- Thread

Breadcrumbs