Merge pull request #3206 from whitequark/master

Add Sublime-Coq

Merge pull request #3206 from whitequark/master
Add Sublime-Coq
41dbea57 · FichteFoll · 5860b540 · 28656b34 · 41dbea57
Commit 41dbea57 authored May 08, 2014 by FichteFoll
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 0 deletions

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

No files found.
--- a/repository/c.json
+++ b/repository/c.json
@@ -1521,6 +1521,17 @@
 				}
 			]
 		},
+		{
+			"name": "Coq",
+			"details": "https://github.com/whitequark/Sublime-Coq",
+			"labels": ["syntax"],
+			"releases": [
+				{
+					"sublime_text": ">=3000",
+					"details": "https://github.com/whitequark/Sublime-Coq/tree/master"
+				}
+			]
+		},
 		{
 			"name": "Coral",
 			"details": "https://github.com/coral-framework/sublime-coral",