When deleting an ETLA project and asking Eclipse to delete the contents of this project, too, there may sometimes be problems where Eclipse cannot delete the project because it cannot delete TLA modules previously created by the plugin.
Log in to post a comment.
