Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cross-project-issues-dev] TPTP RC2 update site is ready


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

Back to the top