GitHub repository: tamarin-prover/editor-sublime
Primary language: Python
Created: 2018-09-27T15:01:15Z
Description: Repository for text editor (sublime) syntax highlighting