package publish
This commit is contained in:
parent
21924deabf
commit
07559ba4d3
1 changed files with 1 additions and 1 deletions
|
@ -77,7 +77,7 @@ syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castf
|
||||||
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
|
||||||
syn keyword atsExternal extern implement
|
syn keyword atsExternal extern implement primplmnt
|
||||||
|
|
||||||
syn keyword atsKeyword symintr overload with
|
syn keyword atsKeyword symintr overload with
|
||||||
syn keyword atsKeyword prval praxi datasort
|
syn keyword atsKeyword prval praxi datasort
|
||||||
|
|
Loading…
Reference in a new issue