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 972
  • Win 324
  • OS X 334
  • Linux 314
May 23 May 22 May 21 May 20 May 19 May 18 May 17 May 16 May 15 May 14 May 13 May 12 May 11 May 10 May 9 May 8 May 7 May 6 May 5 May 4 May 3 May 2 May 1 Apr 30 Apr 29 Apr 28 Apr 27 Apr 26 Apr 25 Apr 24 Apr 23 Apr 22 Apr 21 Apr 20 Apr 19 Apr 18 Apr 17 Apr 16 Apr 15 Apr 14 Apr 13 Apr 12 Apr 11 Apr 10 Apr 9 Apr 8
Windows 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 3 0 0 0 1 1 0 0 0 0 0 0 0 0 2 0 0
OS X 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 1
Linux 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 2 3 1 0 6 0 0 1 3 1 0 0 0 0 0 0 0 0 1 1 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