| Summary: | With Windows XP EUROPA Eclipse 3.3 TPTP plugin not work. | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Naik Mising name <hirenaik> |
| Component: | TPTP | Assignee: | Bing Xu <xubing> |
| Status: | CLOSED WORKSFORME | QA Contact: | |
| Severity: | normal | ||
| Priority: | P1 | CC: | jgwest, jkubasta, paulslau |
| Version: | unspecified | Keywords: | plan |
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | closed460 | ||
|
Description
Naik Mising name
Hi Bing. I have transferred my bugs to you for triage. Thanks. Please let us know which TPTP package you downloaded and installed and what scenario produced the reported error message. Thanks. Naik, is this a duplicate of 200821? Retarget to 'future'. Naik, I am closing this for now. Please reopen it if you encounter this in the future. As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open. |