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

Promela_Spin

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

Details

Installs

  • Total 1K
  • Win 503
  • Mac 466
  • Linux 467
Mar 9 Mar 8 Mar 7 Mar 6 Mar 5 Mar 4 Mar 3 Mar 2 Mar 1 Feb 28 Feb 27 Feb 26 Feb 25 Feb 24 Feb 23 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
Windows 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
Linux 0 0 0 0 0 1 0 1 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

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