support TLA

yaohui-wyh · May 22, 2017 · 52045d3 · 52045d3
1 parent 4cb9360
commit 52045d3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language.go b/language.go
@@ -198,6 +198,7 @@ var Exts map[string]string = map[string]string{
 	"t":           "Terra",
 	"tex":         "TeX",
 	"thy":         "Isabelle",
+	"tla":         "TLA",
 	"sty":         "TeX",
 	"tcl":         "Tcl/Tk",
 	"toml":        "TOML",
@@ -485,6 +486,7 @@ func GetDefinitionLanguages() map[string]*Language {
 		"Terra":               NewLanguage("Terra", "--", "--[[", "]]"),
 		"TeX":                 NewLanguage("TeX", "%", "", ""),
 		"Isabelle":            NewLanguage("Isabelle", "", "(*", "*)"),
+		"TLA":                 NewLanguage("TLA", "/*", "(*", "*)"),
 		"Tcl/Tk":              NewLanguage("Tcl/Tk", "#", "", ""),
 		"TOML":                NewLanguage("TOML", "#", "", ""),
 		"TypeScript":          NewLanguage("TypeScript", "//", "/*", "*/"),