|
|
Re: Agent Controller and TPTP [message #53264 is a reply to message #53238] |
Wed, 08 February 2006 16:58 |
Eclipse User |
|
|
|
Originally posted by: Navid_Mehregani_nmehrega.ca.ibm.com
This is a multipart message in MIME format.
--=_alternative 005D48B48525710F_=
Content-Type: text/plain; charset="US-ASCII"
You might want to check the "analysis tool" section of
http://developer.apple.com/technotes/tn/tn1174.html
Note that there is an enhancement opened for supporting the TPTP profiler
on Mac OS. The feature is marked as helpwanted and we're welcoming any
help.
--=_alternative 005D48B48525710F_=
Content-Type: text/html; charset="US-ASCII"
<br><font size=2 face="sans-serif">You might want to check the "analysis
tool" section of http://developer.apple.com/technotes/tn/tn1174.html</font>
<br>
<br><font size=2 face="sans-serif">Note that there is an enhancement opened
for supporting the TPTP profiler on Mac OS. The feature is marked
as helpwanted and we're welcoming any help.</font>
--=_alternative 005D48B48525710F_=--
|
|
|
Powered by
FUDForum. Page generated in 0.02183 seconds