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

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

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.


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