[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Documents about IDE protocol

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 :)


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?