package publish
This commit is contained in:
parent
75fc5c1157
commit
13294214a2
1 changed files with 1 additions and 0 deletions
|
@ -27,6 +27,7 @@ syn match atsKeyword "\v[\%\+\-\<\>\=!\:\~]+"
|
|||
syn keyword atsFixity infixr infixl prefix postfix
|
||||
|
||||
syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr
|
||||
syn match arrowContents '/'
|
||||
|
||||
syn region atsArrow start="=<" end=">" contains=arrowContents
|
||||
syn region atsArrow start="-<" end=">"
|
||||
|
|
Loading…
Reference in a new issue