package publish
This commit is contained in:
parent
048a0835c7
commit
92fd94212d
1 changed files with 1 additions and 1 deletions
|
@ -67,7 +67,7 @@ syn keyword atsCond if then else case sif when
|
||||||
syn keyword atsRepeat while
|
syn keyword atsRepeat while
|
||||||
syn keyword atsException exception raise try
|
syn keyword atsException exception raise try
|
||||||
syn keyword atsStatement let in where local
|
syn keyword atsStatement let in where local
|
||||||
syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castfn prfun
|
syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castfn prfun prfn
|
||||||
syn keyword atsStatement begin end
|
syn keyword atsStatement begin end
|
||||||
syn keyword atsTypedef typedef sortdef viewtypedef vtypedef viewdef
|
syn keyword atsTypedef typedef sortdef viewtypedef vtypedef viewdef
|
||||||
syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview
|
syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview
|
||||||
|
|
Loading…
Reference in a new issue