KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-10-29 17:50:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

add support for Isabelle ROOT file syntax

Browse Source
This commit is contained in:
Gerwin Klein
2014-12-04 19:02:55 +11:00
parent 6f014f8638
commit f18ae4f99f
2 changed files with 1112 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/linguist/languages.yml
View File

@@ -1356,6 +1356,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
extensions:

1104
samples/Isabelle ROOT/filenames/ROOT Normal file
View File

File diff suppressed because it is too large Load Diff