Skip to main content



      Home
Home » Archived » Test and Performance Tools Platform (TPTP) » funny
funny [message #21116] Fri, 01 July 2005 09:41 Go to next message
Eclipse UserFriend
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 16:39 Go to previous message
Eclipse UserFriend
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: Mon Jul 07 06:35:40 EDT 2025

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

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

Back to the top