TamarinAssist - Support for the Tamarin Prover

Highlighting support in Tamarin for Keywords, Logic, Functions and your own Facts.
Compatible with all your favourite Sublime Text Colour themes.Tab autocompletion
and Snippets to get theories written quickly. Quickly check and prove your theories
within Sublime.

Tamarin Prover: https://github.com/tamarin-prover/tamarin-prover

Tags not branch

true boolean value not string

repository/t.json

@@ -218,6 +218,18 @@
 				}
 			]
 		},
+		{
+			"name": "TamarinAssist",
+			"details": "https://github.com/lordqwerty/TamarinAssist",
+			"labels": ["Tamarin Prover", "spthy", "Language Syntax"],
+			"releases": [
+				{
+					"sublime_text": ">=3000",
+					"platforms": ["osx", "linux"],
+					"tags": true
+				}
+			]
+		},
 		{
 			"name": "Task",
 			"details": "https://github.com/samsonw/SublimeTask",