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

Re: [tlaplus] REPL enhancements

On 18.05.21 10:34, Markus Kuppe wrote:
Can you please open an issue as a place to discuss technical details? Some of what you propose is already possible. Other enhancements probably need a closer look because of restrictions in TLC.



You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/754740e2-ba9b-784d-81af-3083090d4671%40lemmster.de.