occam-grammars 1.3.696 → 1.3.697
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/nominal/entries.js +2 -2
- package/package.json +1 -1
- package/src/nominal/entries.js +2 -2
package/lib/nominal/entries.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const GREEK = "[\\p{Script=Greek}]", LATIN = "[\\p{Script=Latin}]", DECIMAL = "[0-9]", LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{
|
|
11
|
+
const GREEK = "[\\p{Script=Greek}]", LATIN = "[\\p{Script=Latin}]", DECIMAL = "[0-9]", LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{Ll}]", LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{Lu}]", MATHEMATICAL_SANS_SERIF_BOLD = "[\\u{1D5D4}-\\u{1D607}]", MATHEMATICAL_ITALIC_UPPER_CASE = "[\\u{1D434}-\\u{1D44D}]", MATHEMATICAL_SCRIPT_UPPER_CASE = "[\\u{1D49C}\\u{212C}\\u{1D49E}\\u{1D49F}\\u{2130}\\u{2131}\\u{1D4A2}\\u{210B}\\u{2110}\\u{1D4A5}\\u{1D4A6}\\u{2112}\\u{2133}\\u{1D4A9}-\\u{1D4AC}\\u{211B}\\u{1D4AE}-\\u{1D4B5}]", MATHEMATICAL_FRAKTUR_UPPER_CASE = "[\\u{1D504}\\u{1D505}\\u{212D}\\u{1D507}-\\u{1D50A}\\u{210C}\\u{2111}\\u{1D50D}-\\u{1D514}\\u{211C}\\u{1D516}-\\u{1D51C}\\u{2128}]";
|
|
12
12
|
const entries = [
|
|
13
13
|
{
|
|
14
14
|
"primary-keyword": "^(?:Rule|Axiom|Theorem|Lemma|Conjecture|Schema|Premises|Premise|Conclusion|Proof|Therefore|Suppose|Hence|Then|Provisional|Type|TypePrefix|Properties|Property|Variable|Combinator|Constructor|Generator|Metavariable|Given|Closed)\\b"
|
|
@@ -40,4 +40,4 @@ const entries = [
|
|
|
40
40
|
];
|
|
41
41
|
const _default = entries;
|
|
42
42
|
|
|
43
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
43
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2VudHJpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5jb25zdCBHUkVFSyA9IFwiW1xcXFxwe1NjcmlwdD1HcmVla31dXCIsXHJcbiAgICAgIExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgREVDSU1BTCA9IFwiWzAtOV1cIixcclxuICAgICAgTEFUSU5fTE9XRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0xsfV1cIixcclxuICAgICAgTEFUSU5fVVBQRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0x1fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX1NBTlNfU0VSSUZfQk9MRCA9IFwiW1xcXFx1ezFENUQ0fS1cXFxcdXsxRDYwN31dXCIsXHJcbiAgICAgIE1BVEhFTUFUSUNBTF9JVEFMSUNfVVBQRVJfQ0FTRSA9IFwiW1xcXFx1ezFENDM0fS1cXFxcdXsxRDQ0RH1dXCIsXHJcbiAgICAgIE1BVEhFTUFUSUNBTF9TQ1JJUFRfVVBQRVJfQ0FTRSA9IFwiW1xcXFx1ezFENDlDfVxcXFx1ezIxMkN9XFxcXHV7MUQ0OUV9XFxcXHV7MUQ0OUZ9XFxcXHV7MjEzMH1cXFxcdXsyMTMxfVxcXFx1ezFENEEyfVxcXFx1ezIxMEJ9XFxcXHV7MjExMH1cXFxcdXsxRDRBNX1cXFxcdXsxRDRBNn1cXFxcdXsyMTEyfVxcXFx1ezIxMzN9XFxcXHV7MUQ0QTl9LVxcXFx1ezFENEFDfVxcXFx1ezIxMUJ9XFxcXHV7MUQ0QUV9LVxcXFx1ezFENEI1fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX0ZSQUtUVVJfVVBQRVJfQ0FTRSA9IFwiW1xcXFx1ezFENTA0fVxcXFx1ezFENTA1fVxcXFx1ezIxMkR9XFxcXHV7MUQ1MDd9LVxcXFx1ezFENTBBfVxcXFx1ezIxMEN9XFxcXHV7MjExMX1cXFxcdXsxRDUwRH0tXFxcXHV7MUQ1MTR9XFxcXHV7MjExQ31cXFxcdXsxRDUxNn0tXFxcXHV7MUQ1MUN9XFxcXHV7MjEyOH1dXCI7XHJcblxyXG5jb25zdCBlbnRyaWVzID0gW1xyXG4gIHtcclxuICAgIFwicHJpbWFyeS1rZXl3b3JkXCI6IFwiXig/OlJ1bGV8QXhpb218VGhlb3JlbXxMZW1tYXxDb25qZWN0dXJlfFNjaGVtYXxQcmVtaXNlc3xQcmVtaXNlfENvbmNsdXNpb258UHJvb2Z8VGhlcmVmb3JlfFN1cHBvc2V8SGVuY2V8VGhlbnxQcm92aXNpb25hbHxUeXBlfFR5cGVQcmVmaXh8UHJvcGVydGllc3xQcm9wZXJ0eXxWYXJpYWJsZXxDb21iaW5hdG9yfENvbnN0cnVjdG9yfEdlbmVyYXRvcnxNZXRhdmFyaWFibGV8R2l2ZW58Q2xvc2VkKVxcXFxiXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwic2Vjb25kYXJ5LWtleXdvcmRcIjogXCJeKD86aXN8aW58dGhlfGFufGF8Ynl8ZnJvbXx2aWF8YmVjYXVzZXxmb3J8c2F0aXNmaWVzfHByb3Zpc2lvbmFsbHl8ZGVmaW5lZHx1bmRlZmluZWR8bWlzc2luZ3xwcmVzZW50KVxcXFxiXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwibWV0YS10eXBlXCI6IFwiXig/OlN0YXRlbWVudHxSZWZlcmVuY2V8RnJhbWUpXFxcXGJcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJuYW1lXCI6IGBeKD86JHtMQVRJTl9VUFBFUl9DQVNFfSR7TEFUSU59KiR7REVDSU1BTH0qfCR7TEFUSU5fTE9XRVJfQ0FTRX0ke0xBVElOfSske0RFQ0lNQUx9KilgLFxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJpZGVudGlmaWVyXCI6IGBeKD86JHtMQVRJTl9MT1dFUl9DQVNFfSR7REVDSU1BTH0qfCR7R1JFRUt9K3wke01BVEhFTUFUSUNBTF9TQU5TX1NFUklGX0JPTER9K3wke01BVEhFTUFUSUNBTF9JVEFMSUNfVVBQRVJfQ0FTRX0rfCR7TUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFfSt8JHtNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFfSspYFxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJwcmltaXRpdmVcIjogXCJeKD86XFxcXHx8XFxcXC5cXFxcLlxcXFwufFxcXFwufFxcXFwofFxcXFwpfFxcXFxbfFxcXFxdfFxcXFwrfC18LHw8fD4pXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwiYmFja3RpY2tcIjogXCJeYFwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInNwZWNpYWxcIjogXCJeKD86QHw6Onw6fCE9fD0pXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwidW5hc3NpZ25lZFwiOiBcIl5bXlxcXFxzXFxcXChcXFxcKVxcXFxbXFxcXF06LF0rXCJcclxuICB9XHJcbl07XHJcblxyXG5leHBvcnQgZGVmYXVsdCBlbnRyaWVzO1xyXG4iXSwibmFtZXMiOlsiR1JFRUsiLCJMQVRJTiIsIkRFQ0lNQUwiLCJMQVRJTl9MT1dFUl9DQVNFIiwiTEFUSU5fVVBQRVJfQ0FTRSIsIk1BVEhFTUFUSUNBTF9TQU5TX1NFUklGX0JPTEQiLCJNQVRIRU1BVElDQUxfSVRBTElDX1VQUEVSX0NBU0UiLCJNQVRIRU1BVElDQUxfU0NSSVBUX1VQUEVSX0NBU0UiLCJNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFIiwiZW50cmllcyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBMENBOzs7ZUFBQTs7O0FBeENBLE1BQU1BLFFBQVEsdUJBQ1JDLFFBQVEsdUJBQ1JDLFVBQVUsU0FDVkMsbUJBQW1CLGdDQUNuQkMsbUJBQW1CLGdDQUNuQkMsK0JBQStCLDJCQUMvQkMsaUNBQWlDLDJCQUNqQ0MsaUNBQWlDLG9MQUNqQ0Msa0NBQWtDO0FBRXhDLE1BQU1DLFVBQVU7SUFDZDtRQUNFLG1CQUFtQjtJQUNyQjtJQUNBO1FBQ0UscUJBQXFCO0lBQ3ZCO0lBQ0E7UUFDRSxhQUFhO0lBQ2Y7SUFDQTtRQUNFLFFBQVEsQ0FBQyxJQUFJLEVBQUVMLG1CQUFtQkgsTUFBTSxDQUFDLEVBQUVDLFFBQVEsRUFBRSxFQUFFQyxtQkFBbUJGLE1BQU0sQ0FBQyxFQUFFQyxRQUFRLEVBQUUsQ0FBQztJQUNoRztJQUNBO1FBQ0UsY0FBYyxDQUFDLElBQUksRUFBRUMsbUJBQW1CRCxRQUFRLEVBQUUsRUFBRUYsTUFBTSxFQUFFLEVBQUVLLDZCQUE2QixFQUFFLEVBQUVDLCtCQUErQixFQUFFLEVBQUVDLCtCQUErQixFQUFFLEVBQUVDLGdDQUFnQyxFQUFFLENBQUM7SUFDMU07SUFDQTtRQUNFLGFBQWE7SUFDZjtJQUNBO1FBQ0UsWUFBWTtJQUNkO0lBQ0E7UUFDRSxXQUFXO0lBQ2I7SUFDQTtRQUNFLGNBQWM7SUFDaEI7Q0FDRDtNQUVELFdBQWVDIn0=
|
package/package.json
CHANGED
package/src/nominal/entries.js
CHANGED
|
@@ -3,8 +3,8 @@
|
|
|
3
3
|
const GREEK = "[\\p{Script=Greek}]",
|
|
4
4
|
LATIN = "[\\p{Script=Latin}]",
|
|
5
5
|
DECIMAL = "[0-9]",
|
|
6
|
-
LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{
|
|
7
|
-
LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{
|
|
6
|
+
LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{Ll}]",
|
|
7
|
+
LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{Lu}]",
|
|
8
8
|
MATHEMATICAL_SANS_SERIF_BOLD = "[\\u{1D5D4}-\\u{1D607}]",
|
|
9
9
|
MATHEMATICAL_ITALIC_UPPER_CASE = "[\\u{1D434}-\\u{1D44D}]",
|
|
10
10
|
MATHEMATICAL_SCRIPT_UPPER_CASE = "[\\u{1D49C}\\u{212C}\\u{1D49E}\\u{1D49F}\\u{2130}\\u{2131}\\u{1D4A2}\\u{210B}\\u{2110}\\u{1D4A5}\\u{1D4A6}\\u{2112}\\u{2133}\\u{1D4A9}-\\u{1D4AC}\\u{211B}\\u{1D4AE}-\\u{1D4B5}]",
|