Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
zip file with testing Eclipse project
TestAJ_TPTP.zip (application/octet-stream), 6.67 KB, created by Pavel Vojtechovsky CLA on 2007-10-26 09:41:04 EDT
(hide)
 
Creator: Pavel Vojtechovsky CLA
Created: 2007-10-26 09:41:04 EDT
Size: 6.67 KB

Attachment is not viewable in your browser because its MIME type (application/octet-stream) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 207575: 81262