Re: [tlaplus] Import existing TLA files

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.

Thanks
Markus

[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.