Documents about IDE protocol
27 views
Skip to first unread message
Jihui Zheng
Jan 16, 2017, 2:53:32 AM1/16/17
to tlaplus
Hi all,
I'm new to TLA+ and please excuse me for asking that does there exist any documentations about the IDE protocol of TLA+? Thus I can try to integrate this tool with any other editors and IDEs :)
Best regards,
Jihui
I'm new to TLA+ and please excuse me for asking that does there exist any documentations about the IDE protocol of TLA+? Thus I can try to integrate this tool with any other editors and IDEs :)
Best regards,
Jihui
Markus Alexander Kuppe
Jan 16, 2017, 3:38:26 AM1/16/17
to tla...@googlegroups.com
On 16.01.2017 08:22, Jihui Zheng wrote:
> I'm new to TLA+ and please excuse me for asking that does there exist any documentations about the IDE protocol of TLA+? Thus I can try to integrate this tool with any other editors and IDEs :)
Hi,
> I'm new to TLA+ and please excuse me for asking that does there exist any documentations about the IDE protocol of TLA+? Thus I can try to integrate this tool with any other editors and IDEs :)
the only documentation available, is the Java API of SANY
(tla2sany.drivers.SANY) and TLC's command line help (the Toolbox calls
TLC via the command line).
What are you missing from the Toolbox that makes you want to integrate
with other IDEs?
Cheers
Markus
Reply all
Reply to author
Forward
0 new messages