Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cross-project-issues-dev] TPTP RC for Callisto RC4 is available

TPTP declares RC (same as TPTP 4.2 I3 stable build) for Callisto RC4.

1. Callisto tools features-tptp.xml is updated.

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

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

 

Cheers,

-Sri Doddapaneni

Eclipse TPTP Project

 


Back to the top