Re: [tlaplus] How do you delete a module?

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 06.10.2018 15:21, Veronica Straszheim wrote:
> It seems if I create a specification, I automatically creates a module
> named "Untitled". I see no way to delete it. If I delete the file from
> my drive, it gets confused and spits errors at me.
> 
> This is really weird and confusing. How does one use this software?


Hi Veronica,

module deletion is unfortunately currently not possible. The
corresponding github issue [1] describes a workaround.

Thanks
Markus

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