The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:
- Create and edit your specs, with the locations of parsing errors marked in the modules.
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.
