← Back to branch summary

~didrocks/+junk/face-detection-15.04

« back to all changes in this revision

Viewing changes to facedetection/www/bower_components/prism/tests/languages/mizar/keyword_feature.test

  • Committer: Didier Roche
  • Date: 2016-05-10 23:09:11 UTC
  • Revision ID: didier.roche@canonical.com-20160510230911-c7xr490zrj3yrzxd
New version

Show diffs side-by-side

added added

removed removed

Lines of Context:
facedetection/www/bower_components/prism/tests/languages/mizar/keyword_feature.test
 
1
@proof
 
2
according
 
3
aggregate
 
4
all
 
5
and
 
6
antonym
 
7
are
 
8
as
 
9
associativity
 
10
assume
 
11
asymmetry
 
12
attr
 
13
be
 
14
begin
 
15
being
 
16
by
 
17
canceled
 
18
case
 
19
cases
 
20
cluster
 
21
clusters
 
22
coherence
 
23
commutativity
 
24
compatibility
 
25
connectedness
 
26
consider
 
27
consistency
 
28
constructors
 
29
contradiction
 
30
correctness
 
31
def
 
32
deffunc
 
33
define
 
34
definition
 
35
definitions
 
36
defpred
 
37
do
 
38
does
 
39
equals
 
40
end
 
41
environ
 
42
ex
 
43
exactly
 
44
existence
 
45
for
 
46
from
 
47
func
 
48
given
 
49
hence
 
50
hereby
 
51
holds
 
52
idempotence
 
53
identity
 
54
if
 
55
iff
 
56
implies
 
57
involutiveness
 
58
irreflexivity
 
59
is
 
60
it
 
61
let
 
62
means
 
63
mode
 
64
non
 
65
not
 
66
notation
 
67
notations
 
68
now
 
69
of
 
70
or
 
71
otherwise
 
72
over
 
73
per
 
74
pred
 
75
prefix
 
76
projectivity
 
77
proof
 
78
provided
 
79
qua
 
80
reconsider
 
81
redefine
 
82
reduce
 
83
reducibility
 
84
reflexivity
 
85
registration
 
86
registrations
 
87
requirements
 
88
reserve
 
89
sch
 
90
scheme
 
91
schemes
 
92
section
 
93
selector
 
94
set
 
95
sethood
 
96
st
 
97
struct
 
98
such
 
99
suppose
 
100
symmetry
 
101
synonym
 
102
take
 
103
that
 
104
the
 
105
then
 
106
theorem
 
107
theorems
 
108
thesis
 
109
thus
 
110
to
 
111
transitivity
 
112
uniqueness
 
113
vocabulary
 
114
vocabularies
 
115
when
 
116
where
 
117
with
 
118
wrt
 
119
 
 
120
----------------------------------------------------
 
121
 
 
122
[
 
123
        ["keyword", "@proof"],
 
124
        ["keyword", "according"],
 
125
        ["keyword", "aggregate"],
 
126
        ["keyword", "all"],
 
127
        ["keyword", "and"],
 
128
        ["keyword", "antonym"],
 
129
        ["keyword", "are"],
 
130
        ["keyword", "as"],
 
131
        ["keyword", "associativity"],
 
132
        ["keyword", "assume"],
 
133
        ["keyword", "asymmetry"],
 
134
        ["keyword", "attr"],
 
135
        ["keyword", "be"],
 
136
        ["keyword", "begin"],
 
137
        ["keyword", "being"],
 
138
        ["keyword", "by"],
 
139
        ["keyword", "canceled"],
 
140
        ["keyword", "case"],
 
141
        ["keyword", "cases"],
 
142
        ["keyword", "cluster"],
 
143
        ["keyword", "clusters"],
 
144
        ["keyword", "coherence"],
 
145
        ["keyword", "commutativity"],
 
146
        ["keyword", "compatibility"],
 
147
        ["keyword", "connectedness"],
 
148
        ["keyword", "consider"],
 
149
        ["keyword", "consistency"],
 
150
        ["keyword", "constructors"],
 
151
        ["keyword", "contradiction"],
 
152
        ["keyword", "correctness"],
 
153
        ["keyword", "def"],
 
154
        ["keyword", "deffunc"],
 
155
        ["keyword", "define"],
 
156
        ["keyword", "definition"],
 
157
        ["keyword", "definitions"],
 
158
        ["keyword", "defpred"],
 
159
        ["keyword", "do"],
 
160
        ["keyword", "does"],
 
161
        ["keyword", "equals"],
 
162
        ["keyword", "end"],
 
163
        ["keyword", "environ"],
 
164
        ["keyword", "ex"],
 
165
        ["keyword", "exactly"],
 
166
        ["keyword", "existence"],
 
167
        ["keyword", "for"],
 
168
        ["keyword", "from"],
 
169
        ["keyword", "func"],
 
170
        ["keyword", "given"],
 
171
        ["keyword", "hence"],
 
172
        ["keyword", "hereby"],
 
173
        ["keyword", "holds"],
 
174
        ["keyword", "idempotence"],
 
175
        ["keyword", "identity"],
 
176
        ["keyword", "if"],
 
177
        ["keyword", "iff"],
 
178
        ["keyword", "implies"],
 
179
        ["keyword", "involutiveness"],
 
180
        ["keyword", "irreflexivity"],
 
181
        ["keyword", "is"],
 
182
        ["keyword", "it"],
 
183
        ["keyword", "let"],
 
184
        ["keyword", "means"],
 
185
        ["keyword", "mode"],
 
186
        ["keyword", "non"],
 
187
        ["keyword", "not"],
 
188
        ["keyword", "notation"],
 
189
        ["keyword", "notations"],
 
190
        ["keyword", "now"],
 
191
        ["keyword", "of"],
 
192
        ["keyword", "or"],
 
193
        ["keyword", "otherwise"],
 
194
        ["keyword", "over"],
 
195
        ["keyword", "per"],
 
196
        ["keyword", "pred"],
 
197
        ["keyword", "prefix"],
 
198
        ["keyword", "projectivity"],
 
199
        ["keyword", "proof"],
 
200
        ["keyword", "provided"],
 
201
        ["keyword", "qua"],
 
202
        ["keyword", "reconsider"],
 
203
        ["keyword", "redefine"],
 
204
        ["keyword", "reduce"],
 
205
        ["keyword", "reducibility"],
 
206
        ["keyword", "reflexivity"],
 
207
        ["keyword", "registration"],
 
208
        ["keyword", "registrations"],
 
209
        ["keyword", "requirements"],
 
210
        ["keyword", "reserve"],
 
211
        ["keyword", "sch"],
 
212
        ["keyword", "scheme"],
 
213
        ["keyword", "schemes"],
 
214
        ["keyword", "section"],
 
215
        ["keyword", "selector"],
 
216
        ["keyword", "set"],
 
217
        ["keyword", "sethood"],
 
218
        ["keyword", "st"],
 
219
        ["keyword", "struct"],
 
220
        ["keyword", "such"],
 
221
        ["keyword", "suppose"],
 
222
        ["keyword", "symmetry"],
 
223
        ["keyword", "synonym"],
 
224
        ["keyword", "take"],
 
225
        ["keyword", "that"],
 
226
        ["keyword", "the"],
 
227
        ["keyword", "then"],
 
228
        ["keyword", "theorem"],
 
229
        ["keyword", "theorems"],
 
230
        ["keyword", "thesis"],
 
231
        ["keyword", "thus"],
 
232
        ["keyword", "to"],
 
233
        ["keyword", "transitivity"],
 
234
        ["keyword", "uniqueness"],
 
235
        ["keyword", "vocabulary"],
 
236
        ["keyword", "vocabularies"],
 
237
        ["keyword", "when"],
 
238
        ["keyword", "where"],
 
239
        ["keyword", "with"],
 
240
        ["keyword", "wrt"]
 
241
]
 
242
 
 
243
----------------------------------------------------
 
244
 
 
245
Checks for keywords.
 
 
b'\\ No newline at end of file'