| OLD | NEW |
|---|
| (Empty) | |
| 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. |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 1418513006:
update elements and fix some bugs (Closed)
Base URL: git@github.com:dart-lang/polymer_elements.git@master