Community
Participate
Working Groups
Missing link. See <<Need hyperlink here>> in http://help.eclipse.org/help33/topic/org.eclipse.tptp.platform.doc.user/tasks/tecretrc.htm
https://bugs.eclipse.org/bugs/show_bug.cgi?id=202913 *** This bug has been marked as a duplicate of bug 202913 ***
Using 4.5.0-200802100400, the new links for Windows/Linux are broken.
fixed in Head
Verified in TPTP-4.5.0-200806070100. Closing.