KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-09-11 02:12:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2481 from github/1823-local

Browse Source 
Isabelle ROOT support (updated PR)
This commit is contained in:
Arfon Smith
2015-07-04 06:19:02 +01:00
parent 95d394642c 8f651bca03
commit 5431298b0d
3 changed files with 1118 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/linguist/languages.yml
+8
View File
@@ -1475,6 +1475,14 @@ Isabelle:
tm_scope: source.isabelle.theory
ace_mode: text
Isabelle ROOT:
type: programming
group: Isabelle
filenames:
- ROOT
tm_scope: source.isabelle.root
ace_mode: text
J:
type: programming
color: "#9EEDFF"
samples/Isabelle ROOT/filenames/ROOT
+1104
View File
File diff suppressed because it is too large Load Diff
samples/PHP/root.php
+6
View File
@@ -0,0 +1,6 @@
<?php
////////////////////////////////////
// I am not Isabelle ROOT //
////////////////////////////////////
?>