Support Isabelle

yaohui-wyh · Aug 3, 2016 · 2110c70 · 2110c70
1 parent 648b178
commit 2110c70
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language.go b/language.go
@@ -173,6 +173,7 @@ var Exts map[string]string = map[string]string{
 	"swift":       "Swift",
 	"t":           "Terra",
 	"tex":         "TeX",
+	"thy":         "Isabelle",
 	"sty":         "TeX",
 	"tcl":         "Tcl/Tk",
 	"toml":        "TOML",
@@ -439,6 +440,7 @@ func GetDefinitionLanguages() map[string]*Language {
 		"Swift":               NewLanguage("Swift", "//", "/*", "*/"),
 		"Terra":               NewLanguage("Terra", "--", "--[[", "]]"),
 		"TeX":                 NewLanguage("TeX", "%", "", ""),
+		"Isabelle":            NewLanguage("Isabelle", "", "(*", "*)"),
 		"Tcl/Tk":              NewLanguage("Tcl/Tk", "#", "", ""),
 		"TOML":                NewLanguage("TOML", "#", "", ""),
 		"TypeScript":          NewLanguage("TypeScript", "//", "/*", "*/"),