New TLA+ Toolbox workspace
36 views
Skip to first unread message
hwa...@gmail.com
May 22, 2022, 3:30:32 PM5/22/22
to tlaplus
How do I launch the toolbox with a new workspace, configuration, saved specs, etc? I want to do a fresh start for workshops without having to erase all my standard config.
H
Markus Kuppe
May 22, 2022, 6:01:49 PM5/22/22
to tla...@googlegroups.com
Hi Hillel,
this functionality is provided by the Toolbox’s Eclipse foundation: https://stackoverflow.com/a/209794/6291195
Markus
this functionality is provided by the Toolbox’s Eclipse foundation: https://stackoverflow.com/a/209794/6291195
Markus
Reply all
Reply to author
Forward
0 new messages