ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Promela_Spin

by corbanmailloux ST2/ST3

Sublime Text 3 syntax highlighting and build system for Promela Spin.

Details

  • 1.1.0
  • corb.​co
  • github.​com
  • 3 years ago
  • 1 hour ago
  • 3 years ago

Installs

  • Total 863
  • Win 280
  • OS X 308
  • Linux 275
Dec 12 Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3 Dec 2 Dec 1 Nov 30 Nov 29 Nov 28 Nov 27 Nov 26 Nov 25 Nov 24 Nov 23 Nov 22 Nov 21 Nov 20 Nov 19 Nov 18 Nov 17 Nov 16 Nov 15 Nov 14 Nov 13 Nov 12 Nov 11 Nov 10 Nov 9 Nov 8 Nov 7 Nov 6 Nov 5 Nov 4 Nov 3 Nov 2 Nov 1 Oct 31 Oct 30 Oct 29 Oct 28
Windows 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 2 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 2 1 0 0 0 0 1 0 1 1 0 1
OS X 0 0 0 1 0 0 4 0 0 0 0 1 1 2 2 1 1 0 0 1 0 3 3 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 2
Linux 0 0 0 2 2 0 1 0 2 0 0 0 0 2 5 3 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 2 0

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

  1. Open Sublime Text's Command Palette (default: Ctrl+Shift+P)
  2. Type install and select Package Control: Install Package
  3. 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:

  1. Open a file with the extension you want to set a default for (i.e. .pml)
  2. 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

MIT License