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

Documents about IDE protocol

From: Jihui Zheng <zjh...@xxxxxxxxx>
Date: Sun, 15 Jan 2017 23:22:45 -0800 (PST)

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

Follow-Ups:
- Re: [tlaplus] Documents about IDE protocol
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS
Next by Date: Re: [tlaplus] Documents about IDE protocol
Previous by thread: Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS
Next by thread: Re: [tlaplus] Documents about IDE protocol
Index(es):
- Date
- Thread