Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP 45 Release"
| Line 1: | Line 1: | ||
| − | == [[TPTP_45_Weekly_Schedule|Weekly Schedule]] == | + | == TPTP 4.5 == |
| + | |||
| + | * [[TPTP_45_Weekly_Schedule|Weekly Schedule.]] | ||
| + | |||
| + | * [http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.5/schedule.html Detailed Schedule.] | ||
| + | |||
| + | * [http://www.eclipse.org/tptp/reports/bugs/report_45.php?src=All&queryType=bugs&component=All Defect query.] | ||
| + | |||
| + | * [http://www.eclipse.org/tptp/home/downloads/?ver=4.5 Download.] | ||
| + | |||
| + | * [http://www.eclipse.org/tptp/reports/test/testpass_45.php?source=All Test reports.] | ||