@oxide/design-system 1.2.8--canary.60f191c.0 → 1.2.8
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/components/dist/index.js
CHANGED
|
@@ -56579,6 +56579,21 @@ var es_default = import_lib.default;
|
|
|
56579
56579
|
// components/src/asciidoc/Listing.tsx
|
|
56580
56580
|
var import_html_entities = require("html-entities");
|
|
56581
56581
|
var import_jsx_runtime2 = require("react/jsx-runtime");
|
|
56582
|
+
es_default.registerLanguage("tla", function(hljs) {
|
|
56583
|
+
return {
|
|
56584
|
+
keywords: {
|
|
56585
|
+
keyword: "ASSUME ASSUMPTION AXIOM BOOLEAN CASE CONSTANT CONSTANTS ELSE EXCEPT EXTENDS FALSE IF IN INSTANCE LET LOCAL MODULE OTHER STRING THEN THEOREM LEMMA PROPOSITION COROLLARY TRUE VARIABLE VARIABLES WITH CHOOSE ENABLED UNCHANGED SUBSET UNION DOMAIN BY OBVIOUS HAVE QED TAKE DEF HIDE RECURSIVE USE DEFINE PROOF WITNESS PICK DEFS PROVE SUFFICES NEW LAMBDA STATE ACTION TEMPORAL ONLY OMITTED "
|
|
56586
|
+
},
|
|
56587
|
+
contains: [
|
|
56588
|
+
hljs.QUOTE_STRING_MODE,
|
|
56589
|
+
hljs.COMMENT("\\(\\*", "\\*\\)"),
|
|
56590
|
+
hljs.COMMENT("\\\\\\*", "$"),
|
|
56591
|
+
hljs.C_NUMBER_MODE,
|
|
56592
|
+
{ begin: /\/\\/ }
|
|
56593
|
+
// relevance booster
|
|
56594
|
+
]
|
|
56595
|
+
};
|
|
56596
|
+
});
|
|
56582
56597
|
var Listing = ({ node }) => {
|
|
56583
56598
|
const document2 = node.getDocument();
|
|
56584
56599
|
const attrs = node.getAttributes();
|