[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?
module deletion is unfortunately currently not possible. The
corresponding github issue  describes a workaround.