Merge pull request #1800 from github/isabelle-grammar

Isabelle grammar

grammars.yml

@@ -412,5 +412,7 @@ https://github.com/vmg/zephir-sublime:
 - source.php.zephir
 https://github.com/whitequark/llvm.tmbundle:
 - source.llvm
+https://github.com/lsf37/Isabelle.tmbundle:
+- source.isabelle.theory
 https://github.com/eregon/oz-tmbundle:
 - source.oz

lib/linguist/languages.yml

@@ -1223,7 +1223,7 @@ Isabelle:
   color: "#fdcd00"
   extensions:
   - .thy
-  tm_scope: none
+  tm_scope: source.isabelle.theory
 
 J:
   type: programming