2
<!DOCTYPE MODE SYSTEM "xmode.dtd">
5
<PROPERTY NAME="lineComment" VALUE="//" />
6
<PROPERTY NAME="commentStart" VALUE="/*" />
7
<PROPERTY NAME="commentEnd" VALUE="*/" />
8
<PROPERTY NAME="indentOpenBrackets" VALUE="{" />
9
<PROPERTY NAME="indentCloseBrackets" VALUE="}" />
10
<PROPERTY NAME="wordBreakChars" VALUE=",+-=<>/?^&*" />
11
<PROPERTY NAME="unalignedOpenBrackets" VALUE="(<" />
12
<PROPERTY NAME="unalignedCloseBrackets" VALUE=")>" />
14
<RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
15
<EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN>
16
<SPAN TYPE="COMMENT1">
20
<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE" ESCAPE="\">
25
<KEYWORD1>let</KEYWORD1>
26
<KEYWORD1>def</KEYWORD1>
27
<KEYWORD1>class</KEYWORD1>
28
<KEYWORD1>include</KEYWORD1>
30
<KEYWORD3>bit</KEYWORD3>
31
<KEYWORD3>int</KEYWORD3>
32
<KEYWORD3>string</KEYWORD3>
33
<KEYWORD3>bits</KEYWORD3>
34
<KEYWORD3>list</KEYWORD3>
35
<KEYWORD3>dag</KEYWORD3>
36
<KEYWORD3>code</KEYWORD3>