Eclipse Community Forums: Test and Performance Tools Platform (TPTP)

Wed, 20 April 2005 11:52

Eclipse User

Hi,

it's not possible to access the cvs via "http://dev.eclipse.org/viewcvs/index.cgi/".
TPTP plugins are not listed.

Holger

Thu, 21 April 2005 07:33

Eclipse User

Hi Holger,
Try:

http://www.eclipse.org/tptp/ >> CVS Repository >> TPTP_Project >> Go

Paul
"Holger Machens" <machens@informatik.fh-wiesbaden.de> wrote in message
news:d45ttv$nu9$1@news.eclipse.org...
> Hi,
>
> it's not possible to access the cvs via
"http://dev.eclipse.org/viewcvs/index.cgi/".
> TPTP plugins are not listed.
>
> Holger

Thu, 21 April 2005 08:24

Eclipse User

....hmmmm!

Sorry!

Paul Slauenwhite wrote:
> Hi Holger,
> Try:
>
> http://www.eclipse.org/tptp/ >> CVS Repository >> TPTP_Project >> Go
>
> Paul
> "Holger Machens" <machens@informatik.fh-wiesbaden.de> wrote in message
> news:d45ttv$nu9$1@news.eclipse.org...
>
>>Hi,
>>
>>it's not possible to access the cvs via
>
> "http://dev.eclipse.org/viewcvs/index.cgi/".
>
>>TPTP plugins are not listed.
>>
>>Holger
>
>
>

Previous Topic:	4.0/3.3 replan impact on 4.1 requirements cycle
Next Topic:	National Language Support in Eclipse-TPTP

Goto Forum:

Current Time: Sun Aug 31 13:34:11 EDT 2025

.:: Contact :: Home ::.

Sign up to our Newsletter