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 <block-comment _name = "Block Comment" style = "Comment">
8 <start-regex>\(\*</start-regex>
9 <end-regex>\*\)</end-regex>
12 <block-comment _name = "Commented Code" style = "Comment">
13 <start-regex>\(\*\*</start-regex>
14 <end-regex>\*\*\)</end-regex>
17 <keyword-list _name = "Theorem Kinds" style = "Keyword" case-sensitive="TRUE">
18 <keyword>theorem</keyword>
19 <keyword>definition</keyword>
20 <keyword>lemma</keyword>
21 <keyword>fact</keyword>
22 <keyword>remark</keyword>
25 <keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
26 <keyword>alias</keyword>
27 <keyword>coercion</keyword>
28 <keyword>coinductive</keyword>
29 <keyword>corec</keyword>
32 <keyword>inductive</keyword>
33 <keyword>let</keyword>
34 <keyword>match</keyword>
35 <keyword>qed</keyword>
36 <keyword>rec</keyword>
37 <keyword>record</keyword>
38 <keyword>with</keyword>
39 <keyword>and</keyword>
42 <keyword>using</keyword>
45 <pattern-item _name = "Command [" style = "Keyword">
48 <pattern-item _name = "Command |" style = "Keyword">
51 <pattern-item _name = "Command ]" style = "Keyword">
54 <pattern-item _name = "Command {" style = "Keyword">
57 <pattern-item _name = "Command }" style = "Keyword">
61 <keyword-list _name = "Sorts" style = "Data Type" case-sensitive="TRUE">
62 <keyword>Set</keyword>
63 <keyword>Prop</keyword>
64 <keyword>Type</keyword>
67 <keyword-list _name = "Tactics" style = "Others 2" case-sensitive="TRUE">
68 <keyword>absurd</keyword>
69 <keyword>apply</keyword>
70 <keyword>assumption</keyword>
71 <keyword>auto</keyword>
72 <keyword>clear</keyword>
73 <keyword>clearbody</keyword>
74 <keyword>change</keyword>
75 <keyword>compare</keyword>
76 <keyword>constructor</keyword>
77 <keyword>contradiction</keyword>
78 <keyword>cut</keyword>
79 <keyword>decide</keyword> <keyword>equality</keyword> <!-- CSC: ??? -->
80 <keyword>decompose</keyword>
81 <keyword>discriminate</keyword>
82 <keyword>elim</keyword>
83 <keyword>elimType</keyword>
84 <keyword>exact</keyword>
85 <keyword>exists</keyword>
86 <keyword>fail</keyword>
87 <keyword>fold</keyword>
88 <keyword>fourier</keyword>
89 <keyword>fwd</keyword>
90 <keyword>generalize</keyword>
91 <keyword>goal</keyword>
93 <keyword>injection</keyword>
94 <keyword>intro</keyword>
95 <keyword>intros</keyword>
96 <keyword>lapply</keyword>
97 <keyword>left</keyword>
98 <keyword>letin</keyword>
99 <keyword>normalize</keyword>
100 <keyword>reduce</keyword>
101 <keyword>reflexivity</keyword>
102 <keyword>replace</keyword>
103 <keyword>rewrite</keyword>
104 <keyword>right</keyword>
105 <keyword>ring</keyword>
106 <keyword>symmetry</keyword>
107 <keyword>simplify</keyword>
108 <keyword>split</keyword>
109 <keyword>to</keyword>
110 <keyword>transitivity</keyword>
111 <keyword>whd</keyword>
115 <keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
116 <keyword>print</keyword>
117 <keyword>check</keyword>
118 <keyword>hint</keyword>
119 <keyword>quit</keyword>
120 <keyword>set</keyword>
123 <keyword-list _name = "Whelp Macro" style = "Others 3"
124 case-sensitive="TRUE"
125 beginning-regex="whelp *"
126 match-empty-string-at-beginning="FALSE"
127 match-empty-string-at-end="FALSE" >
128 <keyword>elim</keyword>
129 <keyword>hint</keyword>
130 <keyword>instance</keyword>
131 <keyword>locate</keyword>
132 <keyword>match</keyword>
135 <keyword-list _name = "TeX Macro" style = "Preprocessor"
136 case-sensitive="TRUE"
138 match-empty-string-at-beginning="FALSE"
139 match-empty-string-at-end="FALSE" >
140 <keyword>def</keyword>
141 <keyword>forall</keyword>
142 <keyword>lambda</keyword>
143 <keyword>to</keyword>
144 <keyword>exists</keyword>
145 <keyword>Rightarrow</keyword>
146 <keyword>Assign</keyword>
147 <keyword>land</keyword>
148 <keyword>lor</keyword>
149 <keyword>subst</keyword>
150 <keyword>vdash</keyword>
153 <string _name = "String" style = "String" >
154 <start-regex>"</start-regex>
155 <end-regex>"</end-regex>