This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
Visual Studio Code Extension
This is the fastest and easiest way to get started with TLA+ and TLC.
- Download and install Visual Studio Code
- Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation.
- Install Java if it's not present on your computer.
That's it, you're ready to write and check your first specification!
If you're new to Visual Studio Code, its documentation is a good way to start working with it.
The source code of the plugin is available on GitHub: https://github.com/tlaplus/vscode-tlaplus
fponzi