It would seem most likely that a mistake was made somewhere along the way
in your downloading the various pieces and installing. Also, TPTP 4.2.2
is a bit dated. I would suggest trying a later build and use the
all-in-one package, whose link is located near the top of the page. This
provides all you need in one zip file to get started.
"Saran" <firstname.lastname@example.org> wrote in message
> Hi DuWayne
> Thanks for your reply
> I cannot use the latest version since Rational doesn't support the 3.3
> version of eclipse.
> Is there is any place where I can down load the all in one TPTP 4.2.2?