@zohodesk/react-cli 1.1.19-exp.10 → 1.1.19-exp.12

package/templates/docs/highlight.js/lib/languages/coq.js

@@ -1,445 +0,0 @@
-/*
-Language: Coq
-Author: Stephan Boyer <stephan@stephanboyer.com>
-Category: functional
-Website: https://coq.inria.fr
-*/
-
-/** @type LanguageFn */
-function coq(hljs) {
-  const KEYWORDS = [
-    "_|0",
-    "as",
-    "at",
-    "cofix",
-    "else",
-    "end",
-    "exists",
-    "exists2",
-    "fix",
-    "for",
-    "forall",
-    "fun",
-    "if",
-    "IF",
-    "in",
-    "let",
-    "match",
-    "mod",
-    "Prop",
-    "return",
-    "Set",
-    "then",
-    "Type",
-    "using",
-    "where",
-    "with",
-    "Abort",
-    "About",
-    "Add",
-    "Admit",
-    "Admitted",
-    "All",
-    "Arguments",
-    "Assumptions",
-    "Axiom",
-    "Back",
-    "BackTo",
-    "Backtrack",
-    "Bind",
-    "Blacklist",
-    "Canonical",
-    "Cd",
-    "Check",
-    "Class",
-    "Classes",
-    "Close",
-    "Coercion",
-    "Coercions",
-    "CoFixpoint",
-    "CoInductive",
-    "Collection",
-    "Combined",
-    "Compute",
-    "Conjecture",
-    "Conjectures",
-    "Constant",
-    "constr",
-    "Constraint",
-    "Constructors",
-    "Context",
-    "Corollary",
-    "CreateHintDb",
-    "Cut",
-    "Declare",
-    "Defined",
-    "Definition",
-    "Delimit",
-    "Dependencies",
-    "Dependent",
-    "Derive",
-    "Drop",
-    "eauto",
-    "End",
-    "Equality",
-    "Eval",
-    "Example",
-    "Existential",
-    "Existentials",
-    "Existing",
-    "Export",
-    "exporting",
-    "Extern",
-    "Extract",
-    "Extraction",
-    "Fact",
-    "Field",
-    "Fields",
-    "File",
-    "Fixpoint",
-    "Focus",
-    "for",
-    "From",
-    "Function",
-    "Functional",
-    "Generalizable",
-    "Global",
-    "Goal",
-    "Grab",
-    "Grammar",
-    "Graph",
-    "Guarded",
-    "Heap",
-    "Hint",
-    "HintDb",
-    "Hints",
-    "Hypotheses",
-    "Hypothesis",
-    "ident",
-    "Identity",
-    "If",
-    "Immediate",
-    "Implicit",
-    "Import",
-    "Include",
-    "Inductive",
-    "Infix",
-    "Info",
-    "Initial",
-    "Inline",
-    "Inspect",
-    "Instance",
-    "Instances",
-    "Intro",
-    "Intros",
-    "Inversion",
-    "Inversion_clear",
-    "Language",
-    "Left",
-    "Lemma",
-    "Let",
-    "Libraries",
-    "Library",
-    "Load",
-    "LoadPath",
-    "Local",
-    "Locate",
-    "Ltac",
-    "ML",
-    "Mode",
-    "Module",
-    "Modules",
-    "Monomorphic",
-    "Morphism",
-    "Next",
-    "NoInline",
-    "Notation",
-    "Obligation",
-    "Obligations",
-    "Opaque",
-    "Open",
-    "Optimize",
-    "Options",
-    "Parameter",
-    "Parameters",
-    "Parametric",
-    "Path",
-    "Paths",
-    "pattern",
-    "Polymorphic",
-    "Preterm",
-    "Print",
-    "Printing",
-    "Program",
-    "Projections",
-    "Proof",
-    "Proposition",
-    "Pwd",
-    "Qed",
-    "Quit",
-    "Rec",
-    "Record",
-    "Recursive",
-    "Redirect",
-    "Relation",
-    "Remark",
-    "Remove",
-    "Require",
-    "Reserved",
-    "Reset",
-    "Resolve",
-    "Restart",
-    "Rewrite",
-    "Right",
-    "Ring",
-    "Rings",
-    "Save",
-    "Scheme",
-    "Scope",
-    "Scopes",
-    "Script",
-    "Search",
-    "SearchAbout",
-    "SearchHead",
-    "SearchPattern",
-    "SearchRewrite",
-    "Section",
-    "Separate",
-    "Set",
-    "Setoid",
-    "Show",
-    "Solve",
-    "Sorted",
-    "Step",
-    "Strategies",
-    "Strategy",
-    "Structure",
-    "SubClass",
-    "Table",
-    "Tables",
-    "Tactic",
-    "Term",
-    "Test",
-    "Theorem",
-    "Time",
-    "Timeout",
-    "Transparent",
-    "Type",
-    "Typeclasses",
-    "Types",
-    "Undelimit",
-    "Undo",
-    "Unfocus",
-    "Unfocused",
-    "Unfold",
-    "Universe",
-    "Universes",
-    "Unset",
-    "Unshelve",
-    "using",
-    "Variable",
-    "Variables",
-    "Variant",
-    "Verbose",
-    "Visibility",
-    "where",
-    "with"
-  ];
-  const BUILT_INS = [
-    "abstract",
-    "absurd",
-    "admit",
-    "after",
-    "apply",
-    "as",
-    "assert",
-    "assumption",
-    "at",
-    "auto",
-    "autorewrite",
-    "autounfold",
-    "before",
-    "bottom",
-    "btauto",
-    "by",
-    "case",
-    "case_eq",
-    "cbn",
-    "cbv",
-    "change",
-    "classical_left",
-    "classical_right",
-    "clear",
-    "clearbody",
-    "cofix",
-    "compare",
-    "compute",
-    "congruence",
-    "constr_eq",
-    "constructor",
-    "contradict",
-    "contradiction",
-    "cut",
-    "cutrewrite",
-    "cycle",
-    "decide",
-    "decompose",
-    "dependent",
-    "destruct",
-    "destruction",
-    "dintuition",
-    "discriminate",
-    "discrR",
-    "do",
-    "double",
-    "dtauto",
-    "eapply",
-    "eassumption",
-    "eauto",
-    "ecase",
-    "econstructor",
-    "edestruct",
-    "ediscriminate",
-    "eelim",
-    "eexact",
-    "eexists",
-    "einduction",
-    "einjection",
-    "eleft",
-    "elim",
-    "elimtype",
-    "enough",
-    "equality",
-    "erewrite",
-    "eright",
-    "esimplify_eq",
-    "esplit",
-    "evar",
-    "exact",
-    "exactly_once",
-    "exfalso",
-    "exists",
-    "f_equal",
-    "fail",
-    "field",
-    "field_simplify",
-    "field_simplify_eq",
-    "first",
-    "firstorder",
-    "fix",
-    "fold",
-    "fourier",
-    "functional",
-    "generalize",
-    "generalizing",
-    "gfail",
-    "give_up",
-    "has_evar",
-    "hnf",
-    "idtac",
-    "in",
-    "induction",
-    "injection",
-    "instantiate",
-    "intro",
-    "intro_pattern",
-    "intros",
-    "intuition",
-    "inversion",
-    "inversion_clear",
-    "is_evar",
-    "is_var",
-    "lapply",
-    "lazy",
-    "left",
-    "lia",
-    "lra",
-    "move",
-    "native_compute",
-    "nia",
-    "nsatz",
-    "omega",
-    "once",
-    "pattern",
-    "pose",
-    "progress",
-    "proof",
-    "psatz",
-    "quote",
-    "record",
-    "red",
-    "refine",
-    "reflexivity",
-    "remember",
-    "rename",
-    "repeat",
-    "replace",
-    "revert",
-    "revgoals",
-    "rewrite",
-    "rewrite_strat",
-    "right",
-    "ring",
-    "ring_simplify",
-    "rtauto",
-    "set",
-    "setoid_reflexivity",
-    "setoid_replace",
-    "setoid_rewrite",
-    "setoid_symmetry",
-    "setoid_transitivity",
-    "shelve",
-    "shelve_unifiable",
-    "simpl",
-    "simple",
-    "simplify_eq",
-    "solve",
-    "specialize",
-    "split",
-    "split_Rabs",
-    "split_Rmult",
-    "stepl",
-    "stepr",
-    "subst",
-    "sum",
-    "swap",
-    "symmetry",
-    "tactic",
-    "tauto",
-    "time",
-    "timeout",
-    "top",
-    "transitivity",
-    "trivial",
-    "try",
-    "tryif",
-    "unfold",
-    "unify",
-    "until",
-    "using",
-    "vm_compute",
-    "with"
-  ];
-  return {
-    name: 'Coq',
-    keywords: {
-      keyword: KEYWORDS,
-      built_in: BUILT_INS
-    },
-    contains: [
-      hljs.QUOTE_STRING_MODE,
-      hljs.COMMENT('\\(\\*', '\\*\\)'),
-      hljs.C_NUMBER_MODE,
-      {
-        className: 'type',
-        excludeBegin: true,
-        begin: '\\|\\s*',
-        end: '\\w+'
-      },
-      { // relevance booster
-        begin: /[-=]>/ }
-    ]
-  };
-}
-
-module.exports = coq;

package/templates/docs/highlight.js/lib/languages/coq.js.js

@@ -1,10 +0,0 @@
-function emitWarning() {
-    if (!emitWarning.warned) {
-      emitWarning.warned = true;
-      console.log(
-        'Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/coq" instead of "highlight.js/lib/languages/coq.js"'
-      );
-    }
-  }
-  emitWarning();
-    module.exports = require('./coq.js');

package/templates/docs/highlight.js/lib/languages/cos.js

@@ -1,140 +0,0 @@
-/*
-Language: Caché Object Script
-Author: Nikita Savchenko <zitros.lab@gmail.com>
-Category: enterprise, scripting
-Website: https://cedocs.intersystems.com/latest/csp/docbook/DocBook.UI.Page.cls
-*/
-
-/** @type LanguageFn */
-function cos(hljs) {
-  const STRINGS = {
-    className: 'string',
-    variants: [
-      {
-        begin: '"',
-        end: '"',
-        contains: [
-          { // escaped
-            begin: "\"\"",
-            relevance: 0
-          }
-        ]
-      }
-    ]
-  };
-
-  const NUMBERS = {
-    className: "number",
-    begin: "\\b(\\d+(\\.\\d*)?|\\.\\d+)",
-    relevance: 0
-  };
-
-  const COS_KEYWORDS =
-    'property parameter class classmethod clientmethod extends as break '
-    + 'catch close continue do d|0 else elseif for goto halt hang h|0 if job '
-    + 'j|0 kill k|0 lock l|0 merge new open quit q|0 read r|0 return set s|0 '
-    + 'tcommit throw trollback try tstart use view while write w|0 xecute x|0 '
-    + 'zkill znspace zn ztrap zwrite zw zzdump zzwrite print zbreak zinsert '
-    + 'zload zprint zremove zsave zzprint mv mvcall mvcrt mvdim mvprint zquit '
-    + 'zsync ascii';
-
-  // registered function - no need in them due to all functions are highlighted,
-  // but I'll just leave this here.
-
-  // "$bit", "$bitcount",
-  // "$bitfind", "$bitlogic", "$case", "$char", "$classmethod", "$classname",
-  // "$compile", "$data", "$decimal", "$double", "$extract", "$factor",
-  // "$find", "$fnumber", "$get", "$increment", "$inumber", "$isobject",
-  // "$isvaliddouble", "$isvalidnum", "$justify", "$length", "$list",
-  // "$listbuild", "$listdata", "$listfind", "$listfromstring", "$listget",
-  // "$listlength", "$listnext", "$listsame", "$listtostring", "$listvalid",
-  // "$locate", "$match", "$method", "$name", "$nconvert", "$next",
-  // "$normalize", "$now", "$number", "$order", "$parameter", "$piece",
-  // "$prefetchoff", "$prefetchon", "$property", "$qlength", "$qsubscript",
-  // "$query", "$random", "$replace", "$reverse", "$sconvert", "$select",
-  // "$sortbegin", "$sortend", "$stack", "$text", "$translate", "$view",
-  // "$wascii", "$wchar", "$wextract", "$wfind", "$wiswide", "$wlength",
-  // "$wreverse", "$xecute", "$zabs", "$zarccos", "$zarcsin", "$zarctan",
-  // "$zcos", "$zcot", "$zcsc", "$zdate", "$zdateh", "$zdatetime",
-  // "$zdatetimeh", "$zexp", "$zhex", "$zln", "$zlog", "$zpower", "$zsec",
-  // "$zsin", "$zsqr", "$ztan", "$ztime", "$ztimeh", "$zboolean",
-  // "$zconvert", "$zcrc", "$zcyc", "$zdascii", "$zdchar", "$zf",
-  // "$ziswide", "$zlascii", "$zlchar", "$zname", "$zposition", "$zqascii",
-  // "$zqchar", "$zsearch", "$zseek", "$zstrip", "$zwascii", "$zwchar",
-  // "$zwidth", "$zwpack", "$zwbpack", "$zwunpack", "$zwbunpack", "$zzenkaku",
-  // "$change", "$mv", "$mvat", "$mvfmt", "$mvfmts", "$mviconv",
-  // "$mviconvs", "$mvinmat", "$mvlover", "$mvoconv", "$mvoconvs", "$mvraise",
-  // "$mvtrans", "$mvv", "$mvname", "$zbitand", "$zbitcount", "$zbitfind",
-  // "$zbitget", "$zbitlen", "$zbitnot", "$zbitor", "$zbitset", "$zbitstr",
-  // "$zbitxor", "$zincrement", "$znext", "$zorder", "$zprevious", "$zsort",
-  // "device", "$ecode", "$estack", "$etrap", "$halt", "$horolog",
-  // "$io", "$job", "$key", "$namespace", "$principal", "$quit", "$roles",
-  // "$storage", "$system", "$test", "$this", "$tlevel", "$username",
-  // "$x", "$y", "$za", "$zb", "$zchild", "$zeof", "$zeos", "$zerror",
-  // "$zhorolog", "$zio", "$zjob", "$zmode", "$znspace", "$zparent", "$zpi",
-  // "$zpos", "$zreference", "$zstorage", "$ztimestamp", "$ztimezone",
-  // "$ztrap", "$zversion"
-
-  return {
-    name: 'Caché Object Script',
-    case_insensitive: true,
-    aliases: [ "cls" ],
-    keywords: COS_KEYWORDS,
-    contains: [
-      NUMBERS,
-      STRINGS,
-      hljs.C_LINE_COMMENT_MODE,
-      hljs.C_BLOCK_COMMENT_MODE,
-      {
-        className: "comment",
-        begin: /;/,
-        end: "$",
-        relevance: 0
-      },
-      { // Functions and user-defined functions: write $ztime(60*60*3), $$myFunc(10), $$^Val(1)
-        className: "built_in",
-        begin: /(?:\$\$?|\.\.)\^?[a-zA-Z]+/
-      },
-      { // Macro command: quit $$$OK
-        className: "built_in",
-        begin: /\$\$\$[a-zA-Z]+/
-      },
-      { // Special (global) variables: write %request.Content; Built-in classes: %Library.Integer
-        className: "built_in",
-        begin: /%[a-z]+(?:\.[a-z]+)*/
-      },
-      { // Global variable: set ^globalName = 12 write ^globalName
-        className: "symbol",
-        begin: /\^%?[a-zA-Z][\w]*/
-      },
-      { // Some control constructions: do ##class(Package.ClassName).Method(), ##super()
-        className: "keyword",
-        begin: /##class|##super|#define|#dim/
-      },
-      // sub-languages: are not fully supported by hljs by 11/15/2015
-      // left for the future implementation.
-      {
-        begin: /&sql\(/,
-        end: /\)/,
-        excludeBegin: true,
-        excludeEnd: true,
-        subLanguage: "sql"
-      },
-      {
-        begin: /&(js|jscript|javascript)</,
-        end: />/,
-        excludeBegin: true,
-        excludeEnd: true,
-        subLanguage: "javascript"
-      },
-      {
-        // this brakes first and last tag, but this is the only way to embed a valid html
-        begin: /&html<\s*</,
-        end: />\s*>/,
-        subLanguage: "xml"
-      }
-    ]
-  };
-}
-
-module.exports = cos;

package/templates/docs/highlight.js/lib/languages/cos.js.js

@@ -1,10 +0,0 @@
-function emitWarning() {
-    if (!emitWarning.warned) {
-      emitWarning.warned = true;
-      console.log(
-        'Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/cos" instead of "highlight.js/lib/languages/cos.js"'
-      );
-    }
-  }
-  emitWarning();
-    module.exports = require('./cos.js');