| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/quantifiers/ |
| H A D | issue2035.smt2 | 15 …_substvar_33_) (exists ((x1312 Int)) (and (forall ((x1313 Int)) (=> (length p 0) (= x1312 (+ (- 0 …
|
| /dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/ |
| H A D | Ethiopic | 38 0x1312, 0x1315,
|
| /dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/ |
| H A D | ethiopic.pad.in | 60 0x1310 - 0x1312 0x1313 0x1314 0x1315 - - -
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/tables/ |
| H A D | ethio-g1.ctb | 260 letter \x1312 1245-2456-24
|
| /dports/editors/emacs/emacs-27.2/etc/charsets/ |
| H A D | MULE-ethiopic.map | 250 0x2377 0x1312
|
| /dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/ |
| H A D | MULE-ethiopic.map | 250 0x2377 0x1312
|
| /dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/ |
| H A D | MULE-ethiopic.map | 250 0x2377 0x1312
|
| /dports/devel/liblouis/liblouis-3.20.0/tables/ |
| H A D | ethio-g1.ctb | 273 letter \x1312 1245-2456-24
|
| /dports/editors/mined/mined-2015.25/src/ |
| H A D | assigned.t | 67 { 0x12C8, 0x12D6 }, { 0x12D8, 0x1310 }, { 0x1312, 0x1315 },
|
| H A D | udata_assigned.t | 68 { 0x12C8, 0x12D6 }, { 0x12D8, 0x1310 }, { 0x1312, 0x1315 },
|
| H A D | width.t | 142 { 0x12F0, 0x130E }, { 0x1310, 0x1310 }, { 0x1312, 0x1315 },
331 { 0x1310, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x131E },
533 { 0x1310, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x131E },
744 { 0x12D8, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x135A },
969 { 0x12D8, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x135A },
1211 { 0x12D8, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x135A },
1479 { 0x12C8, 0x12D6 }, { 0x12D8, 0x1310 }, { 0x1312, 0x1315 },
1765 { 0x1312, 0x1315 }, { 0x1318, 0x135A }, { 0x135D, 0x137C },
2067 { 0x12D8, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x135A },
2383 { 0x12D8, 0x1310 }, { 0x1312, 0x1315 }, { 0x1318, 0x135A },
[all …]
|
| /dports/japanese/w3m-img/w3m-2b59b9e/libwc/map/ |
| H A D | ucs_isalpha.map | 295 { 0x1312, 0x1315 },
|
| /dports/japanese/w3m/w3m-2b59b9e/libwc/map/ |
| H A D | ucs_isalpha.map | 295 { 0x1312, 0x1315 },
|
| /dports/www/w3m-img/w3m-2b59b9e/libwc/map/ |
| H A D | ucs_isalpha.map | 295 { 0x1312, 0x1315 },
|
| /dports/www/w3m/w3m-2b59b9e/libwc/map/ |
| H A D | ucs_isalpha.map | 295 { 0x1312, 0x1315 },
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | friedman_n4_i5.smt | 1321 :extrapreds ((x1312))
4535 (or x1687 x1321 x1312)
4813 (or x1657 x1318 x1312)
5091 (or x1627 x1315 x1312)
5183 (or x1617 x1321 x1312)
5275 (or x1607 x1318 x1312)
5367 (or x1597 x1315 x1312)
7833 (or (not x1312) x101 x95 x82)
7834 (or (not x101) x1312)
7835 (or (not x95) x1312)
[all …]
|
| /dports/devel/p5-Regexp-Compare/Regexp-Compare-0.33/ |
| H A D | XPosixAlpha.28 | 457 0x1312,
|
| H A D | XPosixAlnum.30 | 443 0x1312,
|
| H A D | XPosixAlnum.32 | 441 0x1312,
|
| /dports/lang/racket/racket-8.3/share/pkgs/sasl-lib/private/ |
| H A D | stringprep.rkt | 838 [#x1312 #x1315]
|
| /dports/devel/re2c/re2c-2.2/test/encodings/ |
| H A D | unicode_group_Lo_8_encoding_policy_ignore.re | 17 …0x12be, 0x12c0,0x12c0, 0x12c2,0x12c5, 0x12c8,0x12d6, 0x12d8,0x1310, 0x1312,0x1315, 0x1318,0x…
|
| H A D | unicode_group_Lo_u_encoding_policy_substitute.re | 17 …0x12be, 0x12c0,0x12c0, 0x12c2,0x12c5, 0x12c8,0x12d6, 0x12d8,0x1310, 0x1312,0x1315, 0x1318,0x…
|
| H A D | unicode_group_Lo_x_encoding_policy_ignore.re | 17 …0x12be, 0x12c0,0x12c0, 0x12c2,0x12c5, 0x12c8,0x12d6, 0x12d8,0x1310, 0x1312,0x1315, 0x1318,0x…
|
| H A D | unicode_group_Lo_8_encoding_policy_fail.re | 17 …0x12be, 0x12c0,0x12c0, 0x12c2,0x12c5, 0x12c8,0x12d6, 0x12d8,0x1310, 0x1312,0x1315, 0x1318,0x…
|
| H A D | unicode_group_Lo_u_encoding_policy_ignore.re | 17 …0x12be, 0x12c0,0x12c0, 0x12c2,0x12c5, 0x12c8,0x12d6, 0x12d8,0x1310, 0x1312,0x1315, 0x1318,0x…
|