1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE language SYSTEM "language.dtd">
3 <language _name="temperino" version="1.0" _section="Sources" mimetypes="text/x-matita">
5 <escape-char>\</escape-char>
7 <line-comment _name = "Line Comment" style= "Comment">
8 <start-regex>%%</start-regex>
11 <block-comment _name = "Block Comment" style = "Comment">
12 <start-regex>\(\*</start-regex>
13 <end-regex>\*\)</end-regex>
16 <block-comment _name = "Commented Code" style = "Comment">
17 <start-regex>\(\*\*</start-regex>
18 <end-regex>\*\*\)</end-regex>
21 <keyword-list _name = "Theorem Kinds" style = "Keyword" case-sensitive="TRUE">
22 <keyword>theorem</keyword>
23 <keyword>definition</keyword>
24 <keyword>lemma</keyword>
25 <keyword>fact</keyword>
26 <keyword>remark</keyword>
29 <keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
30 <keyword>alias</keyword>
31 <keyword>coercion</keyword>
32 <keyword>coinductive</keyword>
33 <keyword>corec</keyword>
35 <keyword>inductive</keyword>
36 <keyword>let</keyword>
37 <keyword>match</keyword>
38 <keyword>qed</keyword>
39 <keyword>rec</keyword>
40 <keyword>record</keyword>
41 <keyword>with</keyword>
42 <!-- <keyword>using</keyword>-->
43 <!-- <keyword>at</keyword>-->
46 <pattern-item _name = "Command [" style = "Keyword">
49 <pattern-item _name = "Command |" style = "Keyword">
52 <pattern-item _name = "Command ]" style = "Keyword">
55 <pattern-item _name = "Command {" style = "Keyword">
58 <pattern-item _name = "Command }" style = "Keyword">
62 <keyword-list _name = "Sorts" style = "Data Type" case-sensitive="TRUE">
63 <keyword>Set</keyword>
64 <keyword>Prop</keyword>
65 <keyword>Type</keyword>
68 <keyword-list _name = "Tactics" style = "Others 2" case-sensitive="TRUE">
69 <keyword>absurd</keyword>
70 <keyword>apply</keyword>
71 <keyword>assumption</keyword>
72 <keyword>auto</keyword>
73 <keyword>change</keyword>
74 <keyword>contradiction</keyword>
75 <keyword>cut</keyword>
76 <keyword>decompose</keyword>
77 <keyword>discriminate</keyword>
78 <keyword>elim</keyword>
79 <keyword>elimType</keyword>
80 <keyword>exact</keyword>
81 <keyword>exists</keyword>
82 <keyword>fold</keyword>
83 <keyword>fourier</keyword>
84 <keyword>goal</keyword>
85 <keyword>injection</keyword>
86 <keyword>intro</keyword>
87 <keyword>intros</keyword>
88 <keyword>left</keyword>
89 <keyword>letin</keyword>
90 <keyword>normalize</keyword>
91 <keyword>reduce</keyword>
92 <keyword>reflexivity</keyword>
93 <keyword>replace</keyword>
94 <keyword>rewrite</keyword>
95 <keyword>right</keyword>
96 <keyword>ring</keyword>
97 <keyword>simmetry</keyword>
98 <keyword>simplify</keyword>
99 <keyword>split</keyword>
100 <keyword>transitivity</keyword>
101 <keyword>whd</keyword>
105 <keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
106 <keyword>print</keyword>
107 <keyword>check</keyword>
108 <keyword>hint</keyword>
109 <keyword>quit</keyword>
110 <keyword>set</keyword>
113 <keyword-list _name = "Whelp Macro" style = "Others 3"
114 case-sensitive="TRUE"
115 beginning-regex="whelp *"
116 match-empty-string-at-beginning="FALSE"
117 match-empty-string-at-end="FALSE" >
118 <keyword>elim</keyword>
119 <keyword>hint</keyword>
120 <keyword>instance</keyword>
121 <keyword>locate</keyword>
122 <keyword>match</keyword>
125 <keyword-list _name = "TeX Macro" style = "Preprocessor"
126 case-sensitive="TRUE"
128 match-empty-string-at-beginning="FALSE"
129 match-empty-string-at-end="FALSE" >
130 <keyword>def</keyword>
131 <keyword>forall</keyword>
132 <keyword>lambda</keyword>
133 <keyword>to</keyword>
134 <keyword>exists</keyword>
135 <keyword>Rightarrow</keyword>
136 <keyword>Assign</keyword>
137 <keyword>land</keyword>
138 <keyword>lor</keyword>
139 <keyword>subst</keyword>
142 <string _name = "String" style = "String" >
143 <start-regex>"</start-regex>
144 <end-regex>"</end-regex>