Re: [tlaplus] Import existing TLA files

[Alexander Bakst <alexander.bakst@xxxxxxxxx>]

Sure, I’ll do so right now.

> On May 1, 2020, at 9:17 AM, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
> 
> 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://urldefense.com/v3/__https://github.com/tlaplus/tlaplus/issues__;!!Mih3wA!XNjKg-42J1V5Ac-aVG6C82aEcSL_MwROOI-gJE4_v_Zvtg-wXeWzp94Cg862J2IQ$ 
> 
> -- 
> 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://urldefense.com/v3/__https://groups.google.com/d/msgid/tlaplus/002529a1-5620-7201-94ee-42f2a083e646*40lemmster.de__;JQ!!Mih3wA!XNjKg-42J1V5Ac-aVG6C82aEcSL_MwROOI-gJE4_v_Zvtg-wXeWzp94Cg9KHePrK$ .

-- 
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/5487653D-D499-4305-AE80-2C4C6FB3DA08%40gmail.com.