Skip to content

P
package_control_channel
Commit 6d5bf388 authored by FichteFoll's avatar FichteFoll Committed by GitHub
Browse files
Options

TamarinAssist - Support for the Tamarin Prover (#6123)

parents 9587c4f7 cf6f9f30
Hide whitespace changes
Inline Side-by-side
Showing with 12 additions and 0 deletions
repository/t.json
View file @ 6d5bf388
...@@ -218,6 +218,18 @@ ...@@ -218,6 +218,18 @@
} }
] ]
}, },
{
"name": "TamarinAssist",
"details": "https://github.com/lordqwerty/TamarinAssist",
"labels": ["Tamarin Prover", "spthy", "Language Syntax"],
"releases": [
{
"sublime_text": ">=3092",
"platforms": ["osx", "linux"],
"tags": true
}
]
},
{ {
"name": "Task", "name": "Task",
"details": "https://github.com/samsonw/SublimeTask", "details": "https://github.com/samsonw/SublimeTask",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment