use Alloy lexer

This commit is contained in:
Santiago Perez De Rosso
2014-07-01 11:18:42 -04:00
parent 526244be11
commit 76b896a66d

View File

@@ -89,7 +89,7 @@ Agda:
Alloy:
type: programming # 'modeling' would be more appropiate
lexer: Text only
lexer: Alloy
color: "#cc5c24"
extensions:
- .als