Extending TPTP with a web-based tool [message #84614] |
Fri, 29 September 2006 03:24 |
Eclipse User |
|
|
|
Originally posted by: soroosh.torabi.ericsson.com
Hi,
In our company we are new to TPTP and i have to investigate the
possibility of integrating local tools with TPTP; and to make a plug-in
for on of these tools, as a try-out, with TPTP. This tool is web-based and
is using a MySQL server database.
I read alot of TPTP documentation on internet (such as the documents of
Eclipse Conference).
My idea to build such a plug-in, is to approach the database, download the
data and somehow show it through the IDE. but i am not sure if my idea is
realisable; and if it is, i have no clue how to do it. can you please help
me?
thank you.
Soroosh
|
|
|
Powered by
FUDForum. Page generated in 0.24113 seconds