1<?xml version="1.0"?>
2<!DOCTYPE MODE SYSTEM "xmode.dtd">
3<MODE>
4	<PROPS>
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=",+-=&lt;&gt;/?^&amp;*" />
11		<PROPERTY NAME="unalignedOpenBrackets" VALUE="(&lt;" />
12		<PROPERTY NAME="unalignedCloseBrackets" VALUE=")&gt;" />
13	</PROPS>
14	<RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
15		<EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN>
16		<SPAN TYPE="COMMENT1">
17		    <BEGIN>/*</BEGIN>
18		    <END>*/</END>
19		</SPAN>
20		<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE" ESCAPE="\">
21		    <BEGIN>"</BEGIN>
22		    <END>"</END>
23		</SPAN>
24		<KEYWORDS>
25			<KEYWORD1>let</KEYWORD1>
26			<KEYWORD1>def</KEYWORD1>
27			<KEYWORD1>class</KEYWORD1>
28			<KEYWORD1>include</KEYWORD1>
29
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>
37		</KEYWORDS>
38	</RULES>
39</MODE>
40