Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » funny
funny [message #21116] Fri, 01 July 2005 13:41 Go to next message
Holger Machens is currently offline Holger Machens
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
Re: funny [message #21131 is a reply to message #21116] Fri, 01 July 2005 20:39 Go to previous message
No real name is currently offline No real name
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
Previous Topic:Can TPTP be used to generate JUnit stubs for interfaces and abstract classes?
Next Topic:TPTP via update manager?
Goto Forum:
  


Current Time: Thu Oct 23 20:04:00 GMT 2014

Powered by FUDForum. Page generated in 0.01886 seconds
.:: Contact :: Home ::.

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