Promela_Spin
Sublime Text 3 syntax highlighting and build system for Promela Spin.
Details
Installs
- Total 2K
- Win 584
- Mac 544
- Linux 532
Feb 22 | Feb 21 | Feb 20 | Feb 19 | Feb 18 | Feb 17 | Feb 16 | Feb 15 | Feb 14 | Feb 13 | Feb 12 | Feb 11 | Feb 10 | Feb 9 | Feb 8 | Feb 7 | Feb 6 | Feb 5 | Feb 4 | Feb 3 | Feb 2 | Feb 1 | Jan 31 | Jan 30 | Jan 29 | Jan 28 | Jan 27 | Jan 26 | Jan 25 | Jan 24 | Jan 23 | Jan 22 | Jan 21 | Jan 20 | Jan 19 | Jan 18 | Jan 17 | Jan 16 | Jan 15 | Jan 14 | Jan 13 | Jan 12 | Jan 11 | Jan 10 | Jan 9 | Jan 8 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Windows | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Mac | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Linux | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Readme
- Source
- raw.githubusercontent.com
Sublime Text 3 - Promela Spin Syntax Highlighting and Build System
Syntax highlighting for Promela Spin in Sublime Text 3.
Getting Started
Note: While the syntax highlighting should work on any OS with no dependencies, the build system is Windows only, and requires that jSpin's bin
directory (default: C:\jspin\bin
) be added to the PATH variable.
1. Installation
(Recommended) Automatic Installation using Sublime Text Package Control
- Open Sublime Text's Command Palette (default: Ctrl+Shift+P)
- Type
install
and selectPackage Control: Install Package
- Type
promela spin
and select “Promela_Spin” to install the package.
Manual Installation
Go to Preferences -> Browse Packages
, and then either download and unzip this plugin into that directory, or:
git clone https://github.com/corbanmailloux/sublime-promela-spin.git "sublime-promela-spin"
2. Activate this Language
After installing this package, open an PML file and switch the language to Promela
, using one
of the following methods:
- Select from the list of supported languages in your status bar at the bottom right corner of your editor
- Ctrl+Shift+P and search for “Promela”
3. Make “Promela” the default
To make Promela
the default highlighting for the current extension:
- Open a file with the extension you want to set a default for (i.e.
.pml
) - Navigate through the following menus in Sublime Text:
View -> Syntax -> Open all with current extension as... -> Promela
3. Test the Build System
The “Promela - Random” build system should be automatically selected when a Promela file is open.
To run the build, press Ctrl+B or select “Build” from the “Tools” menu.
Author
Corban Mailloux
Copyright and License
Copyright 2014 Corban Mailloux