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

Re: [tlaplus] Documents about IDE protocol

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Mon, 16 Jan 2017 09:38:16 +0100
References: <29e5f244-f5f7-42bc-8189-181c66029568@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

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,

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

References:
- Documents about IDE protocol
  - From: Jihui Zheng

Prev by Date: Documents about IDE protocol
Next by Date: Re: Is TLA+ still useful if your implementation language is a purely functional one, like Haskell?
Previous by thread: Documents about IDE protocol
Next by thread: [Dr. TLA+ Series] Byzantine Paxos - Shuai Mu
Index(es):
- Date
- Thread