Comment 1 John Arthorne 2006-01-11 15:26:32 EST

Cool bug number ;)

Comment 2 Guru Nagarajan 2006-03-28 18:16:16 EST

Legal has not cleared the contribution and hence the i3 drop

Comment 3 Guru Nagarajan 2006-05-15 07:54:41 EDT

Closed checkins complete

Comment 4 Paul Slauenwhite 2009-06-30 13:22:54 EDT

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.

Comment 5 anhnt 2010-05-24 13:09:29 EDT

Hello world.

Comment 6 anhnt 2010-05-24 13:09:56 EDT

Hello world.

Comment 7 Eclipse Genie 2020-05-05 17:39:28 EDT

New Gerrit change created: https://git.eclipse.org/r/162095

Comment 8 Andrew Obuchowicz 2020-05-05 17:47:13 EDT

(In reply to Eclipse Genie from comment #7)
> New Gerrit change created: https://git.eclipse.org/r/162095

Ignore this commit, I'm making a guide for new Eclipse contributors.