[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  that outlines a
workflow that you think is less confusing. Please include the OS you
are on because the file chooser is OS-specific.
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.