Merge pull request #3725 from gsdlab/master

added Clafer Tools package

Merge pull request #3725 from gsdlab/master
added Clafer Tools package
e89bf145 · FichteFoll · 5e3516c4 · 6033ab2c · e89bf145
Commit e89bf145 authored Oct 18, 2014 by FichteFoll
Show whitespace changes
Inline Side-by-side

Showing with 12 additions and 0 deletions

c.json repository/c.json +12 -0

No files found.
--- a/repository/c.json
+++ b/repository/c.json
@@ -575,6 +575,18 @@
 				}
 			]
 		},
+		{
+			"name": "Clafer Tools",
+			"details": "https://github.com/gsdlab/ClaferToolsST",
+			"homepage": "https://github.com/gsdlab/ClaferToolsST",
+			"labels": ["Clafer", "Compiler", "Instance Generator" ],
+			"releases": [
+				{
+					"sublime_text": "*",
+					"details": "https://github.com/gsdlab/ClaferToolsST/tree/master"
+				}
+			]
+		},
 		{
 			"name": "Clang Format",
 			"details": "https://github.com/rosshemsley/SublimeClangFormat",