Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Back to bug 156207

Who When What Removed Added
Jean-Christophe.Weill 2006-09-05 10:48:57 EDT CC Jean-Christophe.Weill
paulslau 2006-09-05 15:25:58 EDT CC paules
Assignee tyler.thessin jerome.gout
Component TPTP.Testing Test.Doc
jerome.gout 2006-10-24 05:14:00 EDT Status NEW ASSIGNED
Priority P3 P1
Target Milestone --- 4.4
paulslau 2007-02-23 13:51:20 EST OS Linux-GTK All
Hardware PC All
Summary Can't run TPTP Datapool tutorial on Linux TPTP Datapool tutorial is out of date.
paulslau 2007-03-23 16:13:21 EDT Target Milestone 4.4 4.4i3
jkubasta 2007-03-29 21:48:16 EDT Keywords plan
nedelec 2007-04-12 11:08:16 EDT Assignee jerome.gout nedelec
Status ASSIGNED NEW
nedelec 2007-04-12 11:08:42 EDT Status NEW ASSIGNED
nedelec 2007-04-17 07:56:22 EDT Status ASSIGNED RESOLVED
Resolution --- FIXED
Jean-Christophe.Weill 2007-07-02 06:47:53 EDT Status RESOLVED CLOSED
webmaster 2016-05-05 10:29:18 EDT Component Test.Doc TPTP
Version 4.2 unspecified
Product TPTP Testing z_Archived
Target Milestone 4.4i3 ---

Back to bug 156207