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

Search

Help

Login

Home » Archived » Test and Performance Tools Platform (TPTP) » funny

Show: Today's Messages :: Show Polls :: Message Navigator

Switch to threaded view of this topic

Create a new topic

Submit Reply

funny [message #21116]

Fri, 01 July 2005 13:41

Holger Machens is currently offline

Friend

Messages: 57
Registered: July 2009

Member

huhuhuhahahaa!

i've seen this on your web site:

"TPTP 4.0 will be compatible with TPTP 4.0."

i hope so! ;-)

found at: http://www.eclipse.org/tptp/home/project_info/devplans/Eclip se%20TPTP%20Project%20Approved%204.0%20Release%20Plan.htm

cheers
Holger

Report message to a moderator

Re: funny [message #21131 is a reply to message #21116]

Fri, 01 July 2005 20:39

No real name is currently offline

Friend

Messages: 11
Registered: July 2009

Junior Member

Defect Opened: https://bugs.eclipse.org/bugs/show_bug.cgi?id=102501

"Holger Machens" <machens@informatik.fh-wiesbaden.de> wrote in message
news:da3h79$gk0$1@main1.eclipse.org...
> huhuhuhahahaa!
>
>
> i've seen this on your web site:
>
> "TPTP 4.0 will be compatible with TPTP 4.0."
>
> i hope so! ;-)
>
>
> found at:
http://www.eclipse.org/tptp/home/project_info/devplans/Eclip se%20TPTP%20Project%20Approved%204.0%20Release%20Plan.htm
>
>
> cheers
> Holger

Report message to a moderator

Switch to threaded view of this topic

Create a new topic

Submit Reply

Previous Topic:	Can TPTP be used to generate JUnit stubs for interfaces and abstract classes?
Next Topic:	TPTP via update manager?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Sep 16 12:54:33 GMT 2019

Powered by FUDForum. Page generated in 0.02046 seconds

.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top