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

Re: [tlaplus] Import existing TLA files

On 01.05.20 09:02, Alexander Bakst wrote:
> Aha, thanks Markus and Carl. Yes, rather confusing — also, the file
> appears greyed out. But chugging along does indeed import the file.

Hi Alexander, Hi Carl,

would either one of you please open an issue [1] that outlines a
workflow that you think is less confusing.  Please include the OS you
are on because the file chooser is OS-specific.


[1] https://github.com/tlaplus/tlaplus/issues

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/002529a1-5620-7201-94ee-42f2a083e646%40lemmster.de.