@deep-eye/core 0.1.1 → 0.2.1
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/README.md +1 -0
- package/dist/components/chat/AiConversation.vue.d.ts +22 -0
- package/dist/components/chat/AiConversation.vue.d.ts.map +1 -0
- package/dist/components/chat/__tests__/AiConversation.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/AiConversation.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/MessageBubble.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/MessageBubble.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/MindMapToolRenderer.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/MindMapToolRenderer.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/OpenGenUIToolRenderer.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/OpenGenUIToolRenderer.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/OpenGenerativeUiScheduleRenderer.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/OpenGenerativeUiScheduleRenderer.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/SearchToolRenderer.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/SearchToolRenderer.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/TextPartRenderer.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/TextPartRenderer.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/ToolCallPart.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/ToolCallPart.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/mdoc.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/mdoc.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/openGenerativeUi.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/openGenerativeUi.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/types.smoke.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/types.smoke.spec.d.ts.map +1 -0
- package/dist/components/chat/__tests__/useConversation.spec.d.ts +2 -0
- package/dist/components/chat/__tests__/useConversation.spec.d.ts.map +1 -0
- package/dist/components/chat/builtInToolRenderers.d.ts +2 -0
- package/dist/components/chat/builtInToolRenderers.d.ts.map +1 -0
- package/dist/components/chat/components/ChartToolRenderer.vue.d.ts +7 -0
- package/dist/components/chat/components/ChartToolRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/CodeToolRenderer.vue.d.ts +9 -0
- package/dist/components/chat/components/CodeToolRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/EmptyState.vue.d.ts +11 -0
- package/dist/components/chat/components/EmptyState.vue.d.ts.map +1 -0
- package/dist/components/chat/components/MessageBubble.vue.d.ts +24 -0
- package/dist/components/chat/components/MessageBubble.vue.d.ts.map +1 -0
- package/dist/components/chat/components/MindMapToolRenderer.vue.d.ts +7 -0
- package/dist/components/chat/components/MindMapToolRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/OpenGenUIToolRenderer.vue.d.ts +7 -0
- package/dist/components/chat/components/OpenGenUIToolRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/OpenGenerativeUiChartRenderer.vue.d.ts +9 -0
- package/dist/components/chat/components/OpenGenerativeUiChartRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/OpenGenerativeUiPlanRenderer.vue.d.ts +9 -0
- package/dist/components/chat/components/OpenGenerativeUiPlanRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/OpenGenerativeUiScheduleRenderer.vue.d.ts +9 -0
- package/dist/components/chat/components/OpenGenerativeUiScheduleRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/OpenGenerativeUiThemeRenderer.vue.d.ts +7 -0
- package/dist/components/chat/components/OpenGenerativeUiThemeRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/SearchToolRenderer.vue.d.ts +7 -0
- package/dist/components/chat/components/SearchToolRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/TextPartRenderer.vue.d.ts +12 -0
- package/dist/components/chat/components/TextPartRenderer.vue.d.ts.map +1 -0
- package/dist/components/chat/components/ToolCallPart.vue.d.ts +11 -0
- package/dist/components/chat/components/ToolCallPart.vue.d.ts.map +1 -0
- package/dist/components/chat/components/index.d.ts +14 -0
- package/dist/components/chat/components/index.d.ts.map +1 -0
- package/dist/components/chat/composables/index.d.ts +2 -0
- package/dist/components/chat/composables/index.d.ts.map +1 -0
- package/dist/components/chat/composables/useConversation.d.ts +8 -0
- package/dist/components/chat/composables/useConversation.d.ts.map +1 -0
- package/dist/components/chat/index.d.ts +17 -0
- package/dist/components/chat/index.d.ts.map +1 -0
- package/dist/components/chat/mdoc/AskUserForm.vue.d.ts +22 -0
- package/dist/components/chat/mdoc/AskUserForm.vue.d.ts.map +1 -0
- package/dist/components/chat/mdoc/ContentNodes.vue.d.ts +10 -0
- package/dist/components/chat/mdoc/ContentNodes.vue.d.ts.map +1 -0
- package/dist/components/chat/mdoc/builtInRegistry.d.ts +7 -0
- package/dist/components/chat/mdoc/builtInRegistry.d.ts.map +1 -0
- package/dist/components/chat/mdoc/extractAskForms.d.ts +6 -0
- package/dist/components/chat/mdoc/extractAskForms.d.ts.map +1 -0
- package/dist/components/chat/mdoc/index.d.ts +8 -0
- package/dist/components/chat/mdoc/index.d.ts.map +1 -0
- package/dist/components/chat/mdoc/parser.d.ts +41 -0
- package/dist/components/chat/mdoc/parser.d.ts.map +1 -0
- package/dist/components/chat/mdoc/prompt.d.ts +6 -0
- package/dist/components/chat/mdoc/prompt.d.ts.map +1 -0
- package/dist/components/chat/mdoc/registry.d.ts +15 -0
- package/dist/components/chat/mdoc/registry.d.ts.map +1 -0
- package/dist/components/chat/mdoc/sanitize.d.ts +2 -0
- package/dist/components/chat/mdoc/sanitize.d.ts.map +1 -0
- package/dist/components/chat/mdoc/textContent.d.ts +30 -0
- package/dist/components/chat/mdoc/textContent.d.ts.map +1 -0
- package/dist/components/chat/openGenerativeUi.d.ts +25 -0
- package/dist/components/chat/openGenerativeUi.d.ts.map +1 -0
- package/dist/components/chat/toolRenderers.d.ts +8 -0
- package/dist/components/chat/toolRenderers.d.ts.map +1 -0
- package/dist/components/chat/types.d.ts +236 -0
- package/dist/components/chat/types.d.ts.map +1 -0
- package/dist/components/index.d.ts +1 -1
- package/dist/components/index.d.ts.map +1 -1
- package/dist/components/visualization/D3MindMap.vue.d.ts +10 -2
- package/dist/components/visualization/D3MindMap.vue.d.ts.map +1 -1
- package/dist/components/visualization/utils.d.ts +0 -4
- package/dist/components/visualization/utils.d.ts.map +1 -1
- package/dist/index.cjs +74 -204
- package/dist/index.js +15127 -17846
- package/dist/style.css +1 -1
- package/package.json +11 -7
- package/dist/abap-DV7Q1lGP.cjs +0 -1
- package/dist/abap-Y8Dl9g_6.js +0 -6
- package/dist/actionscript-3-9Yo35Ult.cjs +0 -1
- package/dist/actionscript-3-DQVEcJUW.js +0 -6
- package/dist/ada-D46EKCNf.cjs +0 -1
- package/dist/ada-vP6ak0IW.js +0 -6
- package/dist/andromeeda-BbmzSJq1.js +0 -4
- package/dist/andromeeda-Bp3qiXQw.cjs +0 -1
- package/dist/angular-html-DCgZ9Mlr.cjs +0 -1
- package/dist/angular-html-dA1qUKRV.js +0 -32
- package/dist/angular-ts-BowsOjZU.cjs +0 -1
- package/dist/angular-ts-CXyBC0vY.js +0 -21
- package/dist/apache-BUjz-sD2.js +0 -6
- package/dist/apache-DL1xuH1f.cjs +0 -1
- package/dist/apex-6AM9YZbQ.cjs +0 -1
- package/dist/apex-OyTfjCYK.js +0 -6
- package/dist/apl-BRmomHzM.js +0 -16
- package/dist/apl-Bn83vkiK.cjs +0 -1
- package/dist/applescript-BPx7YFFu.js +0 -6
- package/dist/applescript-COilsSrZ.cjs +0 -1
- package/dist/ara-B6Lpq1YJ.cjs +0 -1
- package/dist/ara-Z2fSOxSw.js +0 -6
- package/dist/asciidoc-B2I8YND4.cjs +0 -1
- package/dist/asciidoc-C1T9ziH6.js +0 -6
- package/dist/asm-BTWLY5ym.js +0 -6
- package/dist/asm-DYMFy-sD.cjs +0 -1
- package/dist/astro--3ZkKqYU.js +0 -18
- package/dist/astro-B_uhhqmL.cjs +0 -1
- package/dist/aurora-x-BwoVEUWZ.js +0 -4
- package/dist/aurora-x-C5IpmIOG.cjs +0 -1
- package/dist/awk-Fb0P9dkn.js +0 -6
- package/dist/awk-IEszImW6.cjs +0 -1
- package/dist/ayu-dark-DJoqd4M9.js +0 -4
- package/dist/ayu-dark-Dp0Vkj33.cjs +0 -1
- package/dist/ayu-light-B8p0dqbu.cjs +0 -1
- package/dist/ayu-light-BzXEJRJ-.js +0 -4
- package/dist/ayu-mirage-BJ2oZGzi.js +0 -4
- package/dist/ayu-mirage-Cyu5lnTs.cjs +0 -1
- package/dist/ballerina-Dr6dU4hP.cjs +0 -1
- package/dist/ballerina-oZK-YekG.js +0 -6
- package/dist/bat-0FvbqU9S.js +0 -6
- package/dist/bat-DGkUhhn2.cjs +0 -1
- package/dist/beancount-Bv1Sweoy.cjs +0 -1
- package/dist/beancount-DqJEb89h.js +0 -6
- package/dist/berry-DEMs4LK_.cjs +0 -1
- package/dist/berry-DODBq_Ff.js +0 -6
- package/dist/bibtex-BgA36Z3k.cjs +0 -1
- package/dist/bibtex-EULQRLY5.js +0 -6
- package/dist/bicep-BorU73w0.js +0 -6
- package/dist/bicep-DL0zb-7W.cjs +0 -1
- package/dist/bird2-Bkba-0zC.cjs +0 -1
- package/dist/bird2-CSN72va7.js +0 -6
- package/dist/blade-BoRuQEEj.js +0 -20
- package/dist/blade-DoBwTLOT.cjs +0 -1
- package/dist/bsl-9bVgFeM9.cjs +0 -1
- package/dist/bsl-NkNNwerW.js +0 -8
- package/dist/c-CtlmKnPF.cjs +0 -1
- package/dist/c-eeMepfLm.js +0 -6
- package/dist/c3-BY5XW5ym.js +0 -6
- package/dist/c3-DEpCjeJz.cjs +0 -1
- package/dist/cadence-02UX7mW8.js +0 -6
- package/dist/cadence-DcbmM5v3.cjs +0 -1
- package/dist/cairo-DM6WF2e3.js +0 -8
- package/dist/cairo-li7sQsxU.cjs +0 -1
- package/dist/catppuccin-frappe-Bn4lgmUk.cjs +0 -1
- package/dist/catppuccin-frappe-D3cH2rXe.js +0 -4
- package/dist/catppuccin-latte-BPtsb8jD.cjs +0 -1
- package/dist/catppuccin-latte-C0LRGUW4.js +0 -4
- package/dist/catppuccin-macchiato-BLfpQWhT.cjs +0 -1
- package/dist/catppuccin-macchiato-c5wQ11TT.js +0 -4
- package/dist/catppuccin-mocha-COMta283.cjs +0 -1
- package/dist/catppuccin-mocha-WMD6Qvya.js +0 -4
- package/dist/clarity-PKm5CwqM.js +0 -6
- package/dist/clarity-gPuvqtpF.cjs +0 -1
- package/dist/clojure-CXJfHrL3.js +0 -6
- package/dist/clojure-OUsr1SUl.cjs +0 -1
- package/dist/cmake-BJz8BOTU.js +0 -6
- package/dist/cmake-jM6P58qY.cjs +0 -1
- package/dist/cobol-d8WGA0L-.cjs +0 -1
- package/dist/cobol-tfDVNHxI.js +0 -10
- package/dist/codeowners-Bt9yU6NX.js +0 -6
- package/dist/codeowners-QhPK6lIJ.cjs +0 -1
- package/dist/codeql-D9-TdUN8.cjs +0 -1
- package/dist/codeql-DHkodjjI.js +0 -6
- package/dist/coffee-DGBR_nr_.js +0 -8
- package/dist/coffee-DycxIFwY.cjs +0 -1
- package/dist/common-lisp-C77gR-8i.cjs +0 -1
- package/dist/common-lisp-EVqT9Zhp.js +0 -6
- package/dist/components/markdown/StreamingMarkdown.vue.d.ts +0 -49
- package/dist/components/markdown/StreamingMarkdown.vue.d.ts.map +0 -1
- package/dist/components/markdown/__tests__/mediaParser.spec.d.ts +0 -2
- package/dist/components/markdown/__tests__/mediaParser.spec.d.ts.map +0 -1
- package/dist/components/markdown/__tests__/streamBuffer.spec.d.ts +0 -2
- package/dist/components/markdown/__tests__/streamBuffer.spec.d.ts.map +0 -1
- package/dist/components/markdown/composables/index.d.ts +0 -9
- package/dist/components/markdown/composables/index.d.ts.map +0 -1
- package/dist/components/markdown/composables/useCodeHighlight.d.ts +0 -12
- package/dist/components/markdown/composables/useCodeHighlight.d.ts.map +0 -1
- package/dist/components/markdown/composables/useIncrementalRender.d.ts +0 -15
- package/dist/components/markdown/composables/useIncrementalRender.d.ts.map +0 -1
- package/dist/components/markdown/composables/useMarkdownRenderer.d.ts +0 -13
- package/dist/components/markdown/composables/useMarkdownRenderer.d.ts.map +0 -1
- package/dist/components/markdown/composables/useMarkdownStreaming.d.ts +0 -19
- package/dist/components/markdown/composables/useMarkdownStreaming.d.ts.map +0 -1
- package/dist/components/markdown/composables/useMathRenderer.d.ts +0 -9
- package/dist/components/markdown/composables/useMathRenderer.d.ts.map +0 -1
- package/dist/components/markdown/composables/useMediaParser.d.ts +0 -55
- package/dist/components/markdown/composables/useMediaParser.d.ts.map +0 -1
- package/dist/components/markdown/composables/useSegmentRenderer.d.ts +0 -27
- package/dist/components/markdown/composables/useSegmentRenderer.d.ts.map +0 -1
- package/dist/components/markdown/composables/useStreamAnimation.d.ts +0 -15
- package/dist/components/markdown/composables/useStreamAnimation.d.ts.map +0 -1
- package/dist/components/markdown/composables/useTocGenerator.d.ts +0 -21
- package/dist/components/markdown/composables/useTocGenerator.d.ts.map +0 -1
- package/dist/components/markdown/index.d.ts +0 -7
- package/dist/components/markdown/index.d.ts.map +0 -1
- package/dist/components/markdown/themes.d.ts +0 -32
- package/dist/components/markdown/themes.d.ts.map +0 -1
- package/dist/components/markdown/types.d.ts +0 -160
- package/dist/components/markdown/types.d.ts.map +0 -1
- package/dist/components/markdown/utils/contentProcessor.d.ts +0 -31
- package/dist/components/markdown/utils/contentProcessor.d.ts.map +0 -1
- package/dist/components/markdown/utils/extendedSyntax.d.ts +0 -52
- package/dist/components/markdown/utils/extendedSyntax.d.ts.map +0 -1
- package/dist/components/markdown/utils/index.d.ts +0 -7
- package/dist/components/markdown/utils/index.d.ts.map +0 -1
- package/dist/components/markdown/utils/markdownUtils.d.ts +0 -44
- package/dist/components/markdown/utils/markdownUtils.d.ts.map +0 -1
- package/dist/components/markdown/utils/mediaParser.d.ts +0 -30
- package/dist/components/markdown/utils/mediaParser.d.ts.map +0 -1
- package/dist/components/markdown/utils/sanitizer.d.ts +0 -23
- package/dist/components/markdown/utils/sanitizer.d.ts.map +0 -1
- package/dist/components/markdown/utils/streamBuffer.d.ts +0 -68
- package/dist/components/markdown/utils/streamBuffer.d.ts.map +0 -1
- package/dist/components/markdown/viewers/AudioViewer.vue.d.ts +0 -28
- package/dist/components/markdown/viewers/AudioViewer.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/CodeBlock.vue.d.ts +0 -13
- package/dist/components/markdown/viewers/CodeBlock.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/ImageViewer.vue.d.ts +0 -23
- package/dist/components/markdown/viewers/ImageViewer.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/MediaPlaceholder.vue.d.ts +0 -6
- package/dist/components/markdown/viewers/MediaPlaceholder.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/TableOfContents.vue.d.ts +0 -14
- package/dist/components/markdown/viewers/TableOfContents.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/VideoViewer.vue.d.ts +0 -30
- package/dist/components/markdown/viewers/VideoViewer.vue.d.ts.map +0 -1
- package/dist/components/markdown/viewers/index.d.ts +0 -7
- package/dist/components/markdown/viewers/index.d.ts.map +0 -1
- package/dist/coq-B0L9upzn.js +0 -6
- package/dist/coq-vlPdR5hP.cjs +0 -1
- package/dist/cpp-Cj177cuW.js +0 -18
- package/dist/cpp-DvI2Eoso.cjs +0 -1
- package/dist/crystal-B7r8KTTT.js +0 -18
- package/dist/crystal-ByFGANVN.cjs +0 -1
- package/dist/csharp-BnMEC8KH.cjs +0 -1
- package/dist/csharp-CCgA4A09.js +0 -6
- package/dist/css-D2AWYU5W.cjs +0 -1
- package/dist/css-M7EaDHN_.js +0 -6
- package/dist/csv-CmYOceLb.js +0 -6
- package/dist/csv-DiEdJzSJ.cjs +0 -1
- package/dist/cue-D1vJRJEx.cjs +0 -1
- package/dist/cue-ZzumE7IT.js +0 -6
- package/dist/cypher-atSM3NsM.cjs +0 -1
- package/dist/cypher-jpdmjtA6.js +0 -6
- package/dist/d-2qe3NhmZ.cjs +0 -1
- package/dist/d-CBagWSwH.js +0 -6
- package/dist/dark-plus-Cd5emcYO.cjs +0 -1
- package/dist/dark-plus-pUHDTVV0.js +0 -4
- package/dist/dart-BoQ-8O4a.js +0 -6
- package/dist/dart-Csp3JkUK.cjs +0 -1
- package/dist/dax-CcDT-8dH.js +0 -6
- package/dist/dax-DbkQa40E.cjs +0 -1
- package/dist/desktop-B93p9R9O.js +0 -6
- package/dist/desktop-tn3MFXCZ.cjs +0 -1
- package/dist/diff-BxzP2J8R.js +0 -6
- package/dist/diff-CA31fCOg.cjs +0 -1
- package/dist/docker-CsHqm9tx.js +0 -6
- package/dist/docker-zJpMwmYa.cjs +0 -1
- package/dist/dotenv-BMjVjUL1.js +0 -6
- package/dist/dotenv-DpcNCNek.cjs +0 -1
- package/dist/dracula-BNgwAJ-d.cjs +0 -1
- package/dist/dracula-BtZx2Kac.js +0 -4
- package/dist/dracula-soft-BHZ7sHFu.cjs +0 -1
- package/dist/dracula-soft-BKa-aqBv.js +0 -4
- package/dist/dream-maker-BkijXDkm.cjs +0 -1
- package/dist/dream-maker-PAx17jaB.js +0 -6
- package/dist/edge-C509B6Fx.cjs +0 -1
- package/dist/edge-DV46E-Cp.js +0 -12
- package/dist/elixir-DHwzkGR7.js +0 -8
- package/dist/elixir-wiRlcLO5.cjs +0 -1
- package/dist/elm-BtNbw_Cd.js +0 -8
- package/dist/elm-Dc4sEBjc.cjs +0 -1
- package/dist/emacs-lisp-8iFotmUZ.js +0 -6
- package/dist/emacs-lisp-CwRjPbWb.cjs +0 -1
- package/dist/erb-CX2WKKX7.js +0 -10
- package/dist/erb-Dhmcisk7.cjs +0 -1
- package/dist/erlang-CB2cfp6Z.cjs +0 -1
- package/dist/erlang-DNcDT8Hi.js +0 -8
- package/dist/everforest-dark-DMCBqXCK.js +0 -4
- package/dist/everforest-dark-_sBMomR1.cjs +0 -1
- package/dist/everforest-light-BbXl82Em.js +0 -4
- package/dist/everforest-light-H0xoYxl0.cjs +0 -1
- package/dist/fennel-Bz9-EMMc.cjs +0 -1
- package/dist/fennel-N4WcXuKx.js +0 -6
- package/dist/fish-BTDEUgqH.js +0 -6
- package/dist/fish-DwmQKRZi.cjs +0 -1
- package/dist/fluent-BMXUxfv1.js +0 -6
- package/dist/fluent-CJtpNuaO.cjs +0 -1
- package/dist/fortran-fixed-form-B67KFkXH.js +0 -8
- package/dist/fortran-fixed-form-CcXh5Xzk.cjs +0 -1
- package/dist/fortran-free-form-Cs4ztolN.cjs +0 -1
- package/dist/fortran-free-form-CwqYvCLJ.js +0 -6
- package/dist/fsharp-CYOiIVNx.js +0 -8
- package/dist/fsharp-DVcRF7k-.cjs +0 -1
- package/dist/gdresource-CHZmNkgx.cjs +0 -1
- package/dist/gdresource-CvCIUjhi.js +0 -10
- package/dist/gdscript-CfwMGZrG.cjs +0 -1
- package/dist/gdscript-DSAxJ_aS.js +0 -6
- package/dist/gdshader-Bk8fF6yr.js +0 -6
- package/dist/gdshader-DsmqQl4t.cjs +0 -1
- package/dist/genie-Dy2rU8CF.cjs +0 -1
- package/dist/genie-DzUvd7U9.js +0 -6
- package/dist/gherkin-BmiEVBJ1.cjs +0 -1
- package/dist/gherkin-DHRaV0YP.js +0 -6
- package/dist/git-commit-Bd32YZ0K.js +0 -8
- package/dist/git-commit-DlVDzq9L.cjs +0 -1
- package/dist/git-rebase-Bn4RLd7u.cjs +0 -1
- package/dist/git-rebase-ZWUFO_T4.js +0 -8
- package/dist/github-dark-BKL9xNgN.cjs +0 -1
- package/dist/github-dark-DenFmJkN.js +0 -4
- package/dist/github-dark-default-BJPUVz4H.js +0 -4
- package/dist/github-dark-default-Dsv5MuSi.cjs +0 -1
- package/dist/github-dark-dimmed-CtB9hz8U.cjs +0 -1
- package/dist/github-dark-dimmed-DUshB20C.js +0 -4
- package/dist/github-dark-high-contrast-BqZVM-jF.cjs +0 -1
- package/dist/github-dark-high-contrast-D3aGCnF8.js +0 -4
- package/dist/github-light-BFTOhCbz.cjs +0 -1
- package/dist/github-light-JYsPkUQd.js +0 -4
- package/dist/github-light-default-BZoWH9dH.cjs +0 -1
- package/dist/github-light-default-D99KPAby.js +0 -4
- package/dist/github-light-high-contrast-BbmZE-Mp.js +0 -4
- package/dist/github-light-high-contrast-Ks3kPGJU.cjs +0 -1
- package/dist/gleam-Bv284lvN.js +0 -6
- package/dist/gleam-DHVuTCr7.cjs +0 -1
- package/dist/glimmer-js-BCzSJOW4.cjs +0 -1
- package/dist/glimmer-js-DvMkQjRo.js +0 -14
- package/dist/glimmer-ts-CWF9oSCE.js +0 -14
- package/dist/glimmer-ts-bwHOWxdB.cjs +0 -1
- package/dist/glsl-CQekZ3Zq.cjs +0 -1
- package/dist/glsl-CkUcVZNK.js +0 -8
- package/dist/gn-0WGnAyGi.cjs +0 -1
- package/dist/gn-XtJxiLa4.js +0 -6
- package/dist/gnuplot-CDPKvI9X.cjs +0 -1
- package/dist/gnuplot-yPG9-sE_.js +0 -6
- package/dist/go-COwv3Jul.cjs +0 -1
- package/dist/go-EbF93JXO.js +0 -6
- package/dist/graphql-BnP1YhXQ.cjs +0 -1
- package/dist/graphql-CBu2ehBn.js +0 -14
- package/dist/groovy-CJQTphOW.js +0 -6
- package/dist/groovy-D7VuDBXz.cjs +0 -1
- package/dist/gruvbox-dark-hard-C5HOtKIh.js +0 -4
- package/dist/gruvbox-dark-hard-CUGefKS6.cjs +0 -1
- package/dist/gruvbox-dark-medium-BoKPlKfz.cjs +0 -1
- package/dist/gruvbox-dark-medium-FVgwJHuz.js +0 -4
- package/dist/gruvbox-dark-soft-B46F314v.js +0 -4
- package/dist/gruvbox-dark-soft-DSrhOWeL.cjs +0 -1
- package/dist/gruvbox-light-hard-CJD38wDZ.js +0 -4
- package/dist/gruvbox-light-hard-De4IuseP.cjs +0 -1
- package/dist/gruvbox-light-medium-BlIhMYTA.js +0 -4
- package/dist/gruvbox-light-medium-CzMY3IEJ.cjs +0 -1
- package/dist/gruvbox-light-soft-DoPHyLVZ.js +0 -4
- package/dist/gruvbox-light-soft-U4iAIpWZ.cjs +0 -1
- package/dist/hack-CwQl3YVk.cjs +0 -1
- package/dist/hack-D8lQNxiZ.js +0 -10
- package/dist/haml-B1t5q1Sv.js +0 -10
- package/dist/haml-BsglweiZ.cjs +0 -1
- package/dist/handlebars-B2fb61mr.js +0 -14
- package/dist/handlebars-e_VB7WwW.cjs +0 -1
- package/dist/haskell-BShesV2P.cjs +0 -1
- package/dist/haskell-WeIwNIP6.js +0 -6
- package/dist/haxe-Bo5XuRS0.cjs +0 -1
- package/dist/haxe-TztHsm5T.js +0 -6
- package/dist/hcl-CrZnvm-1.cjs +0 -1
- package/dist/hcl-D438OF-I.js +0 -6
- package/dist/hjson-CEESwTUP.cjs +0 -1
- package/dist/hjson-DYBUbqOl.js +0 -6
- package/dist/hlsl-Bk8TCZNL.js +0 -6
- package/dist/hlsl-CyvYRIb9.cjs +0 -1
- package/dist/horizon-C2D7KeAq.cjs +0 -1
- package/dist/horizon-CJQ10nlf.js +0 -4
- package/dist/horizon-bright-2WzHy-Vo.js +0 -4
- package/dist/horizon-bright-naMXtBru.cjs +0 -1
- package/dist/houston-BDYrDoDW.js +0 -4
- package/dist/houston-T57H3gQZ.cjs +0 -1
- package/dist/html-CPZ3oZQ7.js +0 -10
- package/dist/html-Dn396zfL.cjs +0 -1
- package/dist/html-derivative-B2qv7eyt.js +0 -8
- package/dist/html-derivative-CYen-MuS.cjs +0 -1
- package/dist/http-BPlLI56k.cjs +0 -1
- package/dist/http-DLvAkeD-.js +0 -14
- package/dist/hurl-BQGBr8gH.cjs +0 -1
- package/dist/hurl-CgkFN90t.js +0 -12
- package/dist/hxml-GbqSQCLa.js +0 -8
- package/dist/hxml-vnw7fzrV.cjs +0 -1
- package/dist/hy-Brt5EZ7-.js +0 -6
- package/dist/hy-a1E2Ed6P.cjs +0 -1
- package/dist/imba-CR1Q6r17.cjs +0 -1
- package/dist/imba-CimUv-Uh.js +0 -6
- package/dist/ini-BZIuRIvJ.js +0 -6
- package/dist/ini-Dpu3Xy2p.cjs +0 -1
- package/dist/java--6gf61wy.cjs +0 -1
- package/dist/java-DY6VlHhP.js +0 -6
- package/dist/javascript-C25yR2R2.js +0 -6
- package/dist/javascript-DgmXW4Ha.cjs +0 -1
- package/dist/jinja-DFCUirAg.js +0 -11
- package/dist/jinja-tcJl3KQq.cjs +0 -1
- package/dist/jison-CD9Qsaj0.cjs +0 -1
- package/dist/jison-DdreslRX.js +0 -8
- package/dist/json-DxJze_jm.js +0 -6
- package/dist/json-YkPizm35.cjs +0 -1
- package/dist/json5-BT4Fjg39.js +0 -6
- package/dist/json5-CCgFZiQn.cjs +0 -1
- package/dist/jsonc-CHjZD8gR.js +0 -6
- package/dist/jsonc-CKPHIcXW.cjs +0 -1
- package/dist/jsonl-BGuvDmy9.js +0 -6
- package/dist/jsonl-Dq56Hab-.cjs +0 -1
- package/dist/jsonnet-Bx2cfsXg.js +0 -6
- package/dist/jsonnet-Csh7E68F.cjs +0 -1
- package/dist/jssm-BcADi6EI.js +0 -6
- package/dist/jssm-D0M9iZPY.cjs +0 -1
- package/dist/jsx-BtKADgXT.js +0 -6
- package/dist/jsx-DLX6UGgg.cjs +0 -1
- package/dist/julia-1BTSV8k5.cjs +0 -1
- package/dist/julia-CZiKXNNP.js +0 -16
- package/dist/just-C-mXeYJa.js +0 -18
- package/dist/just-DF5b8XF1.cjs +0 -1
- package/dist/kanagawa-dragon-BJZF7xDr.cjs +0 -1
- package/dist/kanagawa-dragon-CiKur4Hl.js +0 -4
- package/dist/kanagawa-lotus-BKu-smKu.js +0 -4
- package/dist/kanagawa-lotus-BhgzmRV4.cjs +0 -1
- package/dist/kanagawa-wave-BgJip59C.cjs +0 -1
- package/dist/kanagawa-wave-CQwozSzG.js +0 -4
- package/dist/kdl-BNOv9TC3.js +0 -6
- package/dist/kdl-CDG1p2Qi.cjs +0 -1
- package/dist/kotlin-BHZjvNqT.cjs +0 -1
- package/dist/kotlin-ByBMgTeR.js +0 -6
- package/dist/kusto-BOnHERL5.cjs +0 -1
- package/dist/kusto-BlqsQffZ.js +0 -6
- package/dist/laserwave--izBLY1I.cjs +0 -1
- package/dist/laserwave-6a00oqik.js +0 -4
- package/dist/latex-B8Egmqc5.js +0 -8
- package/dist/latex-D5Dn71bZ.cjs +0 -1
- package/dist/lean-BnVxaZxY.js +0 -6
- package/dist/lean-DvVQmxVK.cjs +0 -1
- package/dist/less-B1GLI2Di.js +0 -6
- package/dist/less-Dtg8mm6P.cjs +0 -1
- package/dist/light-plus-B5D0le0o.cjs +0 -1
- package/dist/light-plus-CZuVqSLX.js +0 -4
- package/dist/liquid-BCMAA-JF.js +0 -14
- package/dist/liquid-daEcwr1j.cjs +0 -1
- package/dist/llvm-B_VIwKhQ.cjs +0 -1
- package/dist/llvm-Bk2XctFf.js +0 -6
- package/dist/log-Al8wyEFV.js +0 -6
- package/dist/log-CjTZ0gSB.cjs +0 -1
- package/dist/logo-BAktp_5i.cjs +0 -1
- package/dist/logo-DBa4JDzV.js +0 -6
- package/dist/lua-Bp3IRv7I.js +0 -8
- package/dist/lua-t8TDI8Os.cjs +0 -1
- package/dist/luau-BMXmwtw0.cjs +0 -1
- package/dist/luau-UQyhudEE.js +0 -6
- package/dist/make-CsMclxtr.js +0 -6
- package/dist/make-NcdIe21U.cjs +0 -1
- package/dist/markdown-Byu9Sdmq.cjs +0 -1
- package/dist/markdown-CrScaQ96.js +0 -6
- package/dist/marko-B6zkAD4r.cjs +0 -1
- package/dist/marko-BlmC3dqW.js +0 -14
- package/dist/material-theme-D6KBX41T.js +0 -4
- package/dist/material-theme-Dj0-OyRN.cjs +0 -1
- package/dist/material-theme-darker-CkRroheE.js +0 -4
- package/dist/material-theme-darker-Dvfs29ir.cjs +0 -1
- package/dist/material-theme-lighter-BUBw43Yz.js +0 -4
- package/dist/material-theme-lighter-EU3ZGl_r.cjs +0 -1
- package/dist/material-theme-ocean-ClGX14Ja.js +0 -4
- package/dist/material-theme-ocean-px_3Pwqa.cjs +0 -1
- package/dist/material-theme-palenight-38jxvsGX.cjs +0 -1
- package/dist/material-theme-palenight-C1RVm8K1.js +0 -4
- package/dist/matlab-BOAaUVP0.js +0 -6
- package/dist/matlab-CHTOL9Kx.cjs +0 -1
- package/dist/mdc-CFrQqIa2.cjs +0 -1
- package/dist/mdc-CLNk3q28.js +0 -12
- package/dist/mdx-BOhZZUJ8.js +0 -6
- package/dist/mdx-CjwI68TB.cjs +0 -1
- package/dist/mermaid-BXSwQYo5.cjs +0 -1
- package/dist/mermaid-C3rz4dYh.js +0 -6
- package/dist/min-dark-C7ak0t6c.js +0 -4
- package/dist/min-dark-tt5o_I5e.cjs +0 -1
- package/dist/min-light-CKFxVcPp.js +0 -4
- package/dist/min-light-tmTHl_CQ.cjs +0 -1
- package/dist/mipsasm-BSlRcFIy.cjs +0 -1
- package/dist/mipsasm-CTx18fBl.js +0 -6
- package/dist/mojo-C0tkkGrp.cjs +0 -1
- package/dist/mojo-EIZIZRTQ.js +0 -6
- package/dist/monokai-C1KBYcO0.js +0 -4
- package/dist/monokai-DMIxv6MM.cjs +0 -1
- package/dist/moonbit-B1TV0fG3.js +0 -6
- package/dist/moonbit-CB4cMOAG.cjs +0 -1
- package/dist/move-CSharPAA.cjs +0 -1
- package/dist/move-Db4ltDq1.js +0 -6
- package/dist/narrat-CBeKHgTl.cjs +0 -1
- package/dist/narrat-DmhDCBs-.js +0 -6
- package/dist/nextflow-B-DyW070.js +0 -8
- package/dist/nextflow-B6UvVdZe.cjs +0 -1
- package/dist/nextflow-groovy-BK5DPsgt.cjs +0 -1
- package/dist/nextflow-groovy-BXu3YCr0.js +0 -6
- package/dist/nginx-C4RNJ7jQ.cjs +0 -1
- package/dist/nginx-D7O4WoB1.js +0 -8
- package/dist/night-owl-BN78kThQ.cjs +0 -1
- package/dist/night-owl-Bm2rzalh.js +0 -4
- package/dist/night-owl-light-CBI5u5kw.js +0 -4
- package/dist/night-owl-light-jQpY3cYP.cjs +0 -1
- package/dist/nim-C-Ty7rI7.js +0 -20
- package/dist/nim-D5TBcD9s.cjs +0 -1
- package/dist/nix-BOiBJUDf.cjs +0 -1
- package/dist/nix-fTRXMGic.js +0 -9
- package/dist/nord-CC5OiUXg.js +0 -4
- package/dist/nord-Ca5AGUWc.cjs +0 -1
- package/dist/nushell-BFm1VueJ.cjs +0 -1
- package/dist/nushell-BGCPRlV5.js +0 -6
- package/dist/objective-c-Itk8tzmv.js +0 -6
- package/dist/objective-c-RjkWwFge.cjs +0 -1
- package/dist/objective-cpp-DGt5UKRO.js +0 -6
- package/dist/objective-cpp-HnfhWwRe.cjs +0 -1
- package/dist/ocaml-Cx8ewW_A.cjs +0 -1
- package/dist/ocaml-eSVK32Eg.js +0 -6
- package/dist/odin-BItnF517.js +0 -6
- package/dist/odin-CKw-zgwf.cjs +0 -1
- package/dist/one-dark-pro-C09VQHwB.cjs +0 -1
- package/dist/one-dark-pro-DTA3VF0_.js +0 -4
- package/dist/one-light-Cwg0lqft.cjs +0 -1
- package/dist/one-light-LkMrt1Cf.js +0 -4
- package/dist/openscad-D7eUrVPv.cjs +0 -1
- package/dist/openscad-Sp5uZ6f2.js +0 -6
- package/dist/pascal-DBu9vQ2o.cjs +0 -1
- package/dist/pascal-xy8pJNns.js +0 -6
- package/dist/perl-4Fmzd2XZ.cjs +0 -1
- package/dist/perl-DEBfTVge.js +0 -16
- package/dist/php-Kn-vgdBD.js +0 -18
- package/dist/php-op7xViAS.cjs +0 -1
- package/dist/pkl-C-zSNmaA.js +0 -6
- package/dist/pkl-Dvyry4Rm.cjs +0 -1
- package/dist/plastic-CSTz3KZp.js +0 -4
- package/dist/plastic-r5piqq-S.cjs +0 -1
- package/dist/plsql-IJkoPJ9P.cjs +0 -1
- package/dist/plsql-pVbGZfOv.js +0 -6
- package/dist/po-BNfHvqmm.js +0 -6
- package/dist/po-Rhu6MvnX.cjs +0 -1
- package/dist/poimandres-BLP3NNjc.cjs +0 -1
- package/dist/poimandres-C-VADXHD.js +0 -4
- package/dist/polar-BtWqSUq2.cjs +0 -1
- package/dist/polar-CAZahv3u.js +0 -6
- package/dist/postcss-05aHdL-n.js +0 -6
- package/dist/postcss-Dh97DcaJ.cjs +0 -1
- package/dist/powerquery-BGL6VIw7.cjs +0 -1
- package/dist/powerquery-DI9HkTvs.js +0 -6
- package/dist/powershell-BiEPMjy-.cjs +0 -1
- package/dist/powershell-Clc4ydu-.js +0 -6
- package/dist/prisma-Dp473sn0.cjs +0 -1
- package/dist/prisma-FZjmVtSl.js +0 -6
- package/dist/prolog-C5-yg4TO.js +0 -6
- package/dist/prolog-N1U-3UeF.cjs +0 -1
- package/dist/proto-C7QgialS.js +0 -6
- package/dist/proto-DMjUErYA.cjs +0 -1
- package/dist/pug-CNlJmcLH.cjs +0 -1
- package/dist/pug-CTOOvSEH.js +0 -12
- package/dist/puppet-CUJHmnxV.js +0 -6
- package/dist/puppet-cDQP_ZC_.cjs +0 -1
- package/dist/purescript-DMxb59gF.cjs +0 -1
- package/dist/purescript-rUfGld-4.js +0 -6
- package/dist/python-BFNSHbwJ.js +0 -6
- package/dist/python-s9jfVbew.cjs +0 -1
- package/dist/qml-beorq0E4.cjs +0 -1
- package/dist/qml-rTNXsquU.js +0 -8
- package/dist/qmldir-BInDYbpo.js +0 -6
- package/dist/qmldir-DNF9H2ir.cjs +0 -1
- package/dist/qss-AeJTysr_.js +0 -6
- package/dist/qss-DwA_oiAM.cjs +0 -1
- package/dist/r-CSmzDPi7.js +0 -6
- package/dist/r-DAqIyZhh.cjs +0 -1
- package/dist/racket-B83wSAja.js +0 -6
- package/dist/racket-D4laxZit.cjs +0 -1
- package/dist/raku-DHySPsLw.cjs +0 -1
- package/dist/raku-nEQ4ZJJ7.js +0 -6
- package/dist/razor-C0e_FYju.js +0 -10
- package/dist/razor-DmNPh857.cjs +0 -1
- package/dist/red-7y8PH7HH.js +0 -4
- package/dist/red-BQGOv1D5.cjs +0 -1
- package/dist/reg-CevkCKuZ.cjs +0 -1
- package/dist/reg-m_s_Kiip.js +0 -6
- package/dist/regexp-BazyLpPg.js +0 -6
- package/dist/regexp-DabTWNLE.cjs +0 -1
- package/dist/rel-BS5APza7.cjs +0 -1
- package/dist/rel-BcRfyd6Q.js +0 -6
- package/dist/riscv-BnGFr6V7.cjs +0 -1
- package/dist/riscv-Ce8MAQLP.js +0 -6
- package/dist/ron-DCEEQypA.js +0 -6
- package/dist/ron-DhA-NVxZ.cjs +0 -1
- package/dist/rose-pine-BKc3yVeu.js +0 -4
- package/dist/rose-pine-CfBWm6WX.cjs +0 -1
- package/dist/rose-pine-dawn-BulJcPZT.js +0 -4
- package/dist/rose-pine-dawn-CaZ5I2lt.cjs +0 -1
- package/dist/rose-pine-moon-Cql8LDLp.cjs +0 -1
- package/dist/rose-pine-moon-j6jiXKV8.js +0 -4
- package/dist/rosmsg-C7VSFzUC.cjs +0 -1
- package/dist/rosmsg-Cz0w1km8.js +0 -6
- package/dist/rst-15e-m2f_.js +0 -22
- package/dist/rst-cYxfiYMf.cjs +0 -1
- package/dist/ruby-BU5NlL71.js +0 -30
- package/dist/ruby-D83lQ-6V.cjs +0 -1
- package/dist/rust-CLzF9zIN.js +0 -6
- package/dist/rust-CNeTMPbB.cjs +0 -1
- package/dist/sas-D5Fn8Q38.cjs +0 -1
- package/dist/sas-fpEvgATw.js +0 -8
- package/dist/sass-DxHp5rTx.js +0 -6
- package/dist/sass-vyo-bUwh.cjs +0 -1
- package/dist/scala-D4grkFkl.js +0 -6
- package/dist/scala-ZSekD-8-.cjs +0 -1
- package/dist/scheme-BCRWuEm4.js +0 -6
- package/dist/scheme-vM0LdD-_.cjs +0 -1
- package/dist/scss-BZYVIVaN.js +0 -8
- package/dist/scss-BfLOWNwp.cjs +0 -1
- package/dist/sdbl-B7T8abf4.js +0 -6
- package/dist/sdbl-DeWT5r4i.cjs +0 -1
- package/dist/shaderlab-Cr62-Wb4.js +0 -8
- package/dist/shaderlab-DGJjQHxC.cjs +0 -1
- package/dist/shellscript-DYWjN7qW.cjs +0 -1
- package/dist/shellscript-InADTalH.js +0 -6
- package/dist/shellsession-DMUSXX8m.cjs +0 -1
- package/dist/shellsession-DiDJNQdy.js +0 -8
- package/dist/slack-dark-akqwQ7ED.cjs +0 -1
- package/dist/slack-dark-i7wN4OET.js +0 -4
- package/dist/slack-ochin-BoQQWmTv.cjs +0 -1
- package/dist/slack-ochin-ndHf0LoP.js +0 -4
- package/dist/smalltalk-BNs6hxu4.cjs +0 -1
- package/dist/smalltalk-BlI1_OkM.js +0 -6
- package/dist/snazzy-light-BlSJXAu4.js +0 -4
- package/dist/snazzy-light-D_IwRieF.cjs +0 -1
- package/dist/solarized-dark-UTmkh7lw.js +0 -4
- package/dist/solarized-dark-gmm-WbDC.cjs +0 -1
- package/dist/solarized-light-BheCkDPT.js +0 -4
- package/dist/solarized-light-DzcxRSZP.cjs +0 -1
- package/dist/solidity-DUWnFhS6.js +0 -6
- package/dist/solidity-uQuzgchP.cjs +0 -1
- package/dist/soy-CBd9gyiX.cjs +0 -1
- package/dist/soy-ugRnTlhU.js +0 -8
- package/dist/sparql-6Cg9ppCl.cjs +0 -1
- package/dist/sparql-B0KWFEri.js +0 -8
- package/dist/splunk-CRXR8A9s.js +0 -6
- package/dist/splunk-CWPivao_.cjs +0 -1
- package/dist/sql-Cn_v3PB0.js +0 -6
- package/dist/sql-DhUUVgH1.cjs +0 -1
- package/dist/ssh-config-B93wBIBa.cjs +0 -1
- package/dist/ssh-config-DP-hNVbF.js +0 -6
- package/dist/stata-B8c5fTjX.js +0 -8
- package/dist/stata-DCWFCQQG.cjs +0 -1
- package/dist/stylus-B64Bt0D4.cjs +0 -1
- package/dist/stylus-CyKEU1Ej.js +0 -6
- package/dist/surrealql-CQi7GQN7.js +0 -8
- package/dist/surrealql-CYTDVsyo.cjs +0 -1
- package/dist/svelte-DHUuKtTp.cjs +0 -1
- package/dist/svelte-b9PAcyUe.js +0 -14
- package/dist/swift-CNlVGu8A.cjs +0 -1
- package/dist/swift-DJpUqPLg.js +0 -6
- package/dist/synthwave-84-BBRLOmNT.cjs +0 -1
- package/dist/synthwave-84-NU3C_KFZ.js +0 -4
- package/dist/system-verilog-BCm7smPJ.js +0 -6
- package/dist/system-verilog-BFclLo9e.cjs +0 -1
- package/dist/systemd-C-4qm6XH.js +0 -6
- package/dist/systemd-Dtw7P4tb.cjs +0 -1
- package/dist/talonscript-CFF3LF_O.js +0 -6
- package/dist/talonscript-D8SvZJVc.cjs +0 -1
- package/dist/tasl--DC4oX-L.cjs +0 -1
- package/dist/tasl-Cg_WBUAe.js +0 -6
- package/dist/tcl-0Q0H86Yn.cjs +0 -1
- package/dist/tcl-DN7buRTF.js +0 -6
- package/dist/templ-DmYxM96q.cjs +0 -1
- package/dist/templ-n4Cl1Q5M.js +0 -12
- package/dist/terraform-C0RDrmWi.cjs +0 -1
- package/dist/terraform-DGvcn9zM.js +0 -6
- package/dist/tex-AHxmLTL0.js +0 -8
- package/dist/tex-DPifz_D-.cjs +0 -1
- package/dist/tokyo-night-DP4TmcQl.js +0 -4
- package/dist/tokyo-night-GOhjzM5y.cjs +0 -1
- package/dist/toml-DY62mUL_.js +0 -6
- package/dist/toml-Q64DoSvG.cjs +0 -1
- package/dist/ts-tags-BZi6N9ve.cjs +0 -1
- package/dist/ts-tags-CP1b-4Z2.js +0 -41
- package/dist/tsv-BtvSkaG0.js +0 -6
- package/dist/tsv-DqNGnuVj.cjs +0 -1
- package/dist/tsx-B8rCNbgL.js +0 -6
- package/dist/tsx-DIpfUf9u.cjs +0 -1
- package/dist/turtle-DipIidr5.cjs +0 -1
- package/dist/turtle-_H59FV7D.js +0 -6
- package/dist/twig-DFQvaHeP.js +0 -18
- package/dist/twig-Dp6oAY_C.cjs +0 -1
- package/dist/typescript-RycA9KXf.js +0 -6
- package/dist/typescript-b48wo4zk.cjs +0 -1
- package/dist/typespec-0o3yf4lW.cjs +0 -1
- package/dist/typespec-CGUtYYRV.js +0 -6
- package/dist/typst-Cqq4j4V-.cjs +0 -1
- package/dist/typst-D_1QKWns.js +0 -6
- package/dist/v-81C2s01-.cjs +0 -1
- package/dist/v-BPCNiyYe.js +0 -6
- package/dist/vala-CsAYdCD2.cjs +0 -1
- package/dist/vala-uxaPR7d1.js +0 -6
- package/dist/vb-AiTMb16X.cjs +0 -1
- package/dist/vb-D8_c5-KN.js +0 -6
- package/dist/verilog-AMohXZcN.cjs +0 -1
- package/dist/verilog-B-bybjPF.js +0 -6
- package/dist/vesper-B59Iw4gV.cjs +0 -1
- package/dist/vesper-BckBta1U.js +0 -4
- package/dist/vhdl-CUlNa8ac.js +0 -6
- package/dist/vhdl-DIdR1NA5.cjs +0 -1
- package/dist/viml-D01eKeA4.cjs +0 -1
- package/dist/viml-DsfA-sWm.js +0 -6
- package/dist/vitesse-black-BoGvW84i.js +0 -4
- package/dist/vitesse-black-MF-1S1MG.cjs +0 -1
- package/dist/vitesse-dark-Cym-eLtO.js +0 -4
- package/dist/vitesse-dark-SIffJYSe.cjs +0 -1
- package/dist/vitesse-light-CcmG315c.js +0 -4
- package/dist/vitesse-light-U63SkYGT.cjs +0 -1
- package/dist/vue-CAfU6NLy.cjs +0 -1
- package/dist/vue-CY6W2ID0.js +0 -31
- package/dist/vue-html-B2-sfQT7.cjs +0 -1
- package/dist/vue-html-j9xNEdu3.js +0 -8
- package/dist/vue-vine-Cb_BNJWP.cjs +0 -1
- package/dist/vue-vine-DiWTpMwZ.js +0 -18
- package/dist/vyper-CPQuu50u.js +0 -6
- package/dist/vyper-DTzyzn3a.cjs +0 -1
- package/dist/wasm-BBXxrAl7.js +0 -6
- package/dist/wasm-DQxwEHae.js +0 -7
- package/dist/wasm-Dp-QrJpp.cjs +0 -1
- package/dist/wasm-Dw4u1m6u.cjs +0 -1
- package/dist/wenyan-CRNx8UP3.cjs +0 -1
- package/dist/wenyan-pbVjoM9_.js +0 -6
- package/dist/wgsl-DF5qc9dd.cjs +0 -1
- package/dist/wgsl-DY4iK1q1.js +0 -6
- package/dist/wikitext-D7uzEIfK.cjs +0 -1
- package/dist/wikitext-Z-MoUasO.js +0 -6
- package/dist/wit-BjWgLsJj.cjs +0 -1
- package/dist/wit-CQMQOlTg.js +0 -6
- package/dist/wolfram-BR4t3Ffc.cjs +0 -1
- package/dist/wolfram-Dz4KXISs.js +0 -6
- package/dist/xml-BpsKWkuV.cjs +0 -1
- package/dist/xml-C2J0sS9M.js +0 -8
- package/dist/xsl-BmSZphgC.js +0 -8
- package/dist/xsl-D-3VYix6.cjs +0 -1
- package/dist/yaml-DaO7k5B1.js +0 -6
- package/dist/yaml-XVBmpKh-.cjs +0 -1
- package/dist/zenscript-CxBjpf9c.js +0 -6
- package/dist/zenscript-fNvwKexi.cjs +0 -1
- package/dist/zig-BAyIAcWK.cjs +0 -1
- package/dist/zig-Vm0PO9wB.js +0 -6
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* 扩展 Markdown 语法处理
|
|
3
|
-
*/
|
|
4
|
-
/**
|
|
5
|
-
* 处理任务列表
|
|
6
|
-
* @param markdown - 原始 markdown
|
|
7
|
-
* @returns 处理后的 markdown
|
|
8
|
-
*/
|
|
9
|
-
export declare function processTaskLists(markdown: string): string;
|
|
10
|
-
/**
|
|
11
|
-
* 处理删除线
|
|
12
|
-
* @param markdown - 原始 markdown
|
|
13
|
-
* @returns 处理后的 markdown
|
|
14
|
-
*/
|
|
15
|
-
export declare function processStrikethrough(markdown: string): string;
|
|
16
|
-
/**
|
|
17
|
-
* 处理高亮文本
|
|
18
|
-
* @param markdown - 原始 markdown
|
|
19
|
-
* @returns 处理后的 markdown
|
|
20
|
-
*/
|
|
21
|
-
export declare function processHighlight(markdown: string): string;
|
|
22
|
-
/**
|
|
23
|
-
* 处理下划线
|
|
24
|
-
* @param markdown - 原始 markdown
|
|
25
|
-
* @returns 处理后的 markdown
|
|
26
|
-
*/
|
|
27
|
-
export declare function processUnderline(markdown: string): string;
|
|
28
|
-
/**
|
|
29
|
-
* 处理上标
|
|
30
|
-
* @param markdown - 原始 markdown
|
|
31
|
-
* @returns 处理后的 markdown
|
|
32
|
-
*/
|
|
33
|
-
export declare function processSuperscript(markdown: string): string;
|
|
34
|
-
/**
|
|
35
|
-
* 处理下标
|
|
36
|
-
* @param markdown - 原始 markdown
|
|
37
|
-
* @returns 处理后的 markdown
|
|
38
|
-
*/
|
|
39
|
-
export declare function processSubscript(markdown: string): string;
|
|
40
|
-
/**
|
|
41
|
-
* 处理脚注引用
|
|
42
|
-
* @param markdown - 原始 markdown
|
|
43
|
-
* @returns 处理后的 markdown
|
|
44
|
-
*/
|
|
45
|
-
export declare function processFootnotes(markdown: string): string;
|
|
46
|
-
/**
|
|
47
|
-
* 处理所有扩展语法
|
|
48
|
-
* @param markdown - 原始 markdown
|
|
49
|
-
* @returns 处理后的 markdown
|
|
50
|
-
*/
|
|
51
|
-
export declare function processExtendedSyntax(markdown: string): string;
|
|
52
|
-
//# sourceMappingURL=extendedSyntax.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"extendedSyntax.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/extendedSyntax.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOzD;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG7D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG3D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CA4BzD;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAa9D"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,kBAAkB,CAAA"}
|
|
@@ -1,44 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Markdown 工具函数
|
|
3
|
-
*/
|
|
4
|
-
/**
|
|
5
|
-
* 转义 HTML 特殊字符
|
|
6
|
-
* @param text - 文本
|
|
7
|
-
* @returns 转义后的文本
|
|
8
|
-
*/
|
|
9
|
-
export declare function escapeHtml(text: string): string;
|
|
10
|
-
/**
|
|
11
|
-
* 将换行符转换为 <br> 标签
|
|
12
|
-
* @param text - 文本
|
|
13
|
-
* @returns 转换后的文本
|
|
14
|
-
*/
|
|
15
|
-
export declare function nl2br(text: string): string;
|
|
16
|
-
/**
|
|
17
|
-
* 包裹表格以支持响应式滚动
|
|
18
|
-
* @param html - HTML 内容
|
|
19
|
-
* @returns 处理后的 HTML
|
|
20
|
-
*/
|
|
21
|
-
export declare function wrapTables(html: string): string;
|
|
22
|
-
/**
|
|
23
|
-
* 为外部链接添加 target="_blank" 和安全属性
|
|
24
|
-
* @param html - HTML 内容
|
|
25
|
-
* @returns 处理后的 HTML
|
|
26
|
-
*/
|
|
27
|
-
export declare function addTargetBlankToLinks(html: string): string;
|
|
28
|
-
/**
|
|
29
|
-
* 提取代码块
|
|
30
|
-
* @param markdown - Markdown 内容
|
|
31
|
-
* @returns 代码块数组
|
|
32
|
-
*/
|
|
33
|
-
export declare function extractCodeBlocks(markdown: string): Array<{
|
|
34
|
-
language: string;
|
|
35
|
-
code: string;
|
|
36
|
-
}>;
|
|
37
|
-
/**
|
|
38
|
-
* 检测 markdown 是否完整
|
|
39
|
-
* 检查是否有未闭合的代码块、引用等
|
|
40
|
-
* @param markdown - Markdown 内容
|
|
41
|
-
* @returns 是否完整
|
|
42
|
-
*/
|
|
43
|
-
export declare function isMarkdownComplete(markdown: string): boolean;
|
|
44
|
-
//# sourceMappingURL=markdownUtils.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"markdownUtils.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/markdownUtils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAS/C;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1C;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ/C;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAkB1D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAa7F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAc5D"}
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import type { ParseResult } from '../types';
|
|
2
|
-
/**
|
|
3
|
-
* 解析媒体占位符
|
|
4
|
-
* @param content - 包含占位符的 markdown 内容
|
|
5
|
-
* @returns 解析结果
|
|
6
|
-
*/
|
|
7
|
-
export declare function parseMediaPlaceholders(content: string): ParseResult;
|
|
8
|
-
/**
|
|
9
|
-
* 提取媒体类型
|
|
10
|
-
* @param placeholder - 占位符标记,如 "{{IMAGE_0}}"
|
|
11
|
-
* @returns 媒体类型
|
|
12
|
-
*/
|
|
13
|
-
export declare function extractMediaType(placeholder: string): 'image' | 'video' | 'audio' | null;
|
|
14
|
-
/**
|
|
15
|
-
* 验证媒体数据
|
|
16
|
-
* @param type - 媒体类型
|
|
17
|
-
* @param data - 媒体数据
|
|
18
|
-
* @returns 是否有效
|
|
19
|
-
*/
|
|
20
|
-
export declare function validateMediaData(type: string, data: any): boolean;
|
|
21
|
-
/**
|
|
22
|
-
* 分割内容为文本和占位符片段
|
|
23
|
-
* @param content - 处理后的内容(包含占位符标记)
|
|
24
|
-
* @returns 片段数组
|
|
25
|
-
*/
|
|
26
|
-
export declare function splitContentByPlaceholders(content: string): Array<{
|
|
27
|
-
type: 'text' | 'placeholder';
|
|
28
|
-
content: string;
|
|
29
|
-
}>;
|
|
30
|
-
//# sourceMappingURL=mediaParser.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"mediaParser.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/mediaParser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,UAAU,CAAA;AAQ3D;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CAiDnE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,IAAI,CAMxF;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAclE;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAoCpH"}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* HTML 安全清理配置
|
|
3
|
-
*/
|
|
4
|
-
declare const SANITIZE_CONFIG: {
|
|
5
|
-
ALLOWED_TAGS: string[];
|
|
6
|
-
ALLOWED_ATTR: string[];
|
|
7
|
-
ALLOW_DATA_ATTR: boolean;
|
|
8
|
-
};
|
|
9
|
-
/**
|
|
10
|
-
* 清理 HTML 内容
|
|
11
|
-
* @param html - HTML 内容
|
|
12
|
-
* @param config - 自定义配置
|
|
13
|
-
* @returns 清理后的 HTML
|
|
14
|
-
*/
|
|
15
|
-
export declare function sanitizeHtml(html: string, config?: Partial<typeof SANITIZE_CONFIG>): string;
|
|
16
|
-
/**
|
|
17
|
-
* 清理 markdown 渲染后的 HTML
|
|
18
|
-
* @param html - HTML 内容
|
|
19
|
-
* @returns 清理后的 HTML
|
|
20
|
-
*/
|
|
21
|
-
export declare function sanitizeMarkdownHtml(html: string): string;
|
|
22
|
-
export {};
|
|
23
|
-
//# sourceMappingURL=sanitizer.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"sanitizer.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/sanitizer.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,QAAA,MAAM,eAAe;;;;CAkBpB,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,eAAe,CAAC,GAAG,MAAM,CAG3F;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEzD"}
|
|
@@ -1,68 +0,0 @@
|
|
|
1
|
-
import type { StreamBuffer } from '../types';
|
|
2
|
-
/**
|
|
3
|
-
* 创建流式缓冲区
|
|
4
|
-
* @returns 初始化的缓冲区
|
|
5
|
-
*/
|
|
6
|
-
export declare function createStreamBuffer(): StreamBuffer;
|
|
7
|
-
/**
|
|
8
|
-
* 添加内容块到缓冲区
|
|
9
|
-
* @param buffer - 缓冲区
|
|
10
|
-
* @param chunk - 新内容块
|
|
11
|
-
* @returns 更新后的缓冲区
|
|
12
|
-
*/
|
|
13
|
-
export declare function appendToBuffer(buffer: StreamBuffer, chunk: string): StreamBuffer;
|
|
14
|
-
/**
|
|
15
|
-
* 检查是否有完整的 markdown 块
|
|
16
|
-
* 完整块的标志:双换行、标题、列表等
|
|
17
|
-
* @param content - 内容
|
|
18
|
-
* @returns 最后完整块的索引
|
|
19
|
-
*/
|
|
20
|
-
export declare function findLastCompleteBlock(content: string): number;
|
|
21
|
-
/**
|
|
22
|
-
* 获取可渲染的内容
|
|
23
|
-
* @param buffer - 缓冲区
|
|
24
|
-
* @returns 可以安全渲染的内容和占位符信息
|
|
25
|
-
*/
|
|
26
|
-
export declare function getRenderableContent(buffer: StreamBuffer): {
|
|
27
|
-
content: string;
|
|
28
|
-
hasIncompletePlaceholder: boolean;
|
|
29
|
-
placeholderType: 'image' | 'video' | 'audio' | null;
|
|
30
|
-
};
|
|
31
|
-
/**
|
|
32
|
-
* 标记缓冲区已处理
|
|
33
|
-
* @param buffer - 缓冲区
|
|
34
|
-
* @returns 更新后的缓冲区
|
|
35
|
-
*/
|
|
36
|
-
export declare function markBufferProcessed(buffer: StreamBuffer): StreamBuffer;
|
|
37
|
-
/**
|
|
38
|
-
* 清空缓冲区
|
|
39
|
-
* @returns 空缓冲区
|
|
40
|
-
*/
|
|
41
|
-
export declare function clearBuffer(): StreamBuffer;
|
|
42
|
-
/**
|
|
43
|
-
* 检查缓冲区是否为空
|
|
44
|
-
* @param buffer - 缓冲区
|
|
45
|
-
* @returns 是否为空
|
|
46
|
-
*/
|
|
47
|
-
export declare function isBufferEmpty(buffer: StreamBuffer): boolean;
|
|
48
|
-
/**
|
|
49
|
-
* 获取缓冲区中新增的内容
|
|
50
|
-
* @param buffer - 缓冲区
|
|
51
|
-
* @returns 新增的内容
|
|
52
|
-
*/
|
|
53
|
-
export declare function getNewContent(buffer: StreamBuffer): string;
|
|
54
|
-
/**
|
|
55
|
-
* 智能分词 - 按语义单元分割内容
|
|
56
|
-
* 参考 ChatGPT/Claude 的流式输出效果
|
|
57
|
-
* @param content - 内容
|
|
58
|
-
* @returns 分词后的数组
|
|
59
|
-
*/
|
|
60
|
-
export declare function tokenizeContent(content: string): string[];
|
|
61
|
-
/**
|
|
62
|
-
* 计算流式输出延迟
|
|
63
|
-
* 根据内容类型动态调整延迟,模拟真实打字效果
|
|
64
|
-
* @param token - 当前 token
|
|
65
|
-
* @returns 延迟毫秒数
|
|
66
|
-
*/
|
|
67
|
-
export declare function calculateStreamDelay(token: string): number;
|
|
68
|
-
//# sourceMappingURL=streamBuffer.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"streamBuffer.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/streamBuffer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAE5C;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,YAAY,CAMjD;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAMhF;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAY7D;AA8CD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG;IAC1D,OAAO,EAAE,MAAM,CAAA;IACf,wBAAwB,EAAE,OAAO,CAAA;IACjC,eAAe,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,IAAI,CAAA;CACpD,CAoBA;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAMtE;AAED;;;GAGG;AACH,wBAAgB,WAAW,IAAI,YAAY,CAE1C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAE3D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA8BzD;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAuB1D"}
|
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
interface Props {
|
|
2
|
-
url: string;
|
|
3
|
-
title?: string;
|
|
4
|
-
autoplay?: boolean;
|
|
5
|
-
controls?: boolean;
|
|
6
|
-
}
|
|
7
|
-
declare const _default: import("vue").DefineComponent<Props, {
|
|
8
|
-
play: () => Promise<void> | undefined;
|
|
9
|
-
pause: () => void | undefined;
|
|
10
|
-
currentTime: () => number | undefined;
|
|
11
|
-
duration: () => number | undefined;
|
|
12
|
-
}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
|
|
13
|
-
error: (error: Error) => any;
|
|
14
|
-
pause: () => any;
|
|
15
|
-
load: (url: string) => any;
|
|
16
|
-
play: () => any;
|
|
17
|
-
}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
|
|
18
|
-
onError?: ((error: Error) => any) | undefined;
|
|
19
|
-
onPause?: (() => any) | undefined;
|
|
20
|
-
onLoad?: ((url: string) => any) | undefined;
|
|
21
|
-
onPlay?: (() => any) | undefined;
|
|
22
|
-
}>, {
|
|
23
|
-
title: string;
|
|
24
|
-
autoplay: boolean;
|
|
25
|
-
controls: boolean;
|
|
26
|
-
}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
27
|
-
export default _default;
|
|
28
|
-
//# sourceMappingURL=AudioViewer.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"AudioViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/AudioViewer.vue"],"names":[],"mappings":"AAiHA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;;;;;;;;;;;;;;;;;WAHS,MAAM;cACH,OAAO;cACP,OAAO;;AAoIpB,wBASG"}
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
interface Props {
|
|
2
|
-
code: string;
|
|
3
|
-
language?: string;
|
|
4
|
-
showLineNumbers?: boolean;
|
|
5
|
-
theme?: 'light' | 'dark';
|
|
6
|
-
}
|
|
7
|
-
declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
|
|
8
|
-
theme: "light" | "dark";
|
|
9
|
-
showLineNumbers: boolean;
|
|
10
|
-
language: string;
|
|
11
|
-
}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
12
|
-
export default _default;
|
|
13
|
-
//# sourceMappingURL=CodeBlock.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"CodeBlock.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/CodeBlock.vue"],"names":[],"mappings":"AAiKA,UAAU,KAAK;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CACzB;;WADS,OAAO,GAAG,MAAM;qBADN,OAAO;cADd,MAAM;;AA+InB,wBAOG"}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
interface Props {
|
|
2
|
-
url: string;
|
|
3
|
-
alt?: string;
|
|
4
|
-
width?: number;
|
|
5
|
-
height?: number;
|
|
6
|
-
lazy?: boolean;
|
|
7
|
-
preview?: boolean;
|
|
8
|
-
}
|
|
9
|
-
declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
|
|
10
|
-
error: (error: Error) => any;
|
|
11
|
-
load: (url: string) => any;
|
|
12
|
-
}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
|
|
13
|
-
onError?: ((error: Error) => any) | undefined;
|
|
14
|
-
onLoad?: ((url: string) => any) | undefined;
|
|
15
|
-
}>, {
|
|
16
|
-
width: number;
|
|
17
|
-
height: number;
|
|
18
|
-
alt: string;
|
|
19
|
-
lazy: boolean;
|
|
20
|
-
preview: boolean;
|
|
21
|
-
}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
22
|
-
export default _default;
|
|
23
|
-
//# sourceMappingURL=ImageViewer.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"ImageViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/ImageViewer.vue"],"names":[],"mappings":"AAohBA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,OAAO,CAAC,EAAE,OAAO,CAAA;CAClB;;;;;;;;WAJS,MAAM;YACL,MAAM;SAFT,MAAM;UAGL,OAAO;aACJ,OAAO;;AAkYnB,wBAQG"}
|
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
type __VLS_Props = {
|
|
2
|
-
type: 'image' | 'video' | 'audio';
|
|
3
|
-
};
|
|
4
|
-
declare const _default: import("vue").DefineComponent<__VLS_Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<__VLS_Props> & Readonly<{}>, {}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
5
|
-
export default _default;
|
|
6
|
-
//# sourceMappingURL=MediaPlaceholder.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"MediaPlaceholder.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/MediaPlaceholder.vue"],"names":[],"mappings":"AAqMA,KAAK,WAAW,GAAG;IACjB,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAA;CAClC,CAAC;;AAgJF,wBAMG"}
|
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
import type { TocItem as TocItemType } from '../types';
|
|
2
|
-
interface Props {
|
|
3
|
-
items: TocItemType[];
|
|
4
|
-
activeId?: string;
|
|
5
|
-
}
|
|
6
|
-
declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {} & {
|
|
7
|
-
"item-click": (id: string) => any;
|
|
8
|
-
}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
|
|
9
|
-
"onItem-click"?: ((id: string) => any) | undefined;
|
|
10
|
-
}>, {
|
|
11
|
-
activeId: string;
|
|
12
|
-
}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
13
|
-
export default _default;
|
|
14
|
-
//# sourceMappingURL=TableOfContents.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"TableOfContents.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/TableOfContents.vue"],"names":[],"mappings":"AA+IA,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,UAAU,CAAA;AAGtD,UAAU,KAAK;IACb,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;;;;;;cADY,MAAM;;AA8JnB,wBAQG"}
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
interface Props {
|
|
2
|
-
url: string;
|
|
3
|
-
poster?: string;
|
|
4
|
-
autoplay?: boolean;
|
|
5
|
-
controls?: boolean;
|
|
6
|
-
muted?: boolean;
|
|
7
|
-
}
|
|
8
|
-
declare const _default: import("vue").DefineComponent<Props, {
|
|
9
|
-
play: () => Promise<void> | undefined;
|
|
10
|
-
pause: () => void | undefined;
|
|
11
|
-
currentTime: () => number | undefined;
|
|
12
|
-
duration: () => number | undefined;
|
|
13
|
-
}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
|
|
14
|
-
error: (error: Error) => any;
|
|
15
|
-
pause: () => any;
|
|
16
|
-
load: (url: string) => any;
|
|
17
|
-
play: () => any;
|
|
18
|
-
}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
|
|
19
|
-
onError?: ((error: Error) => any) | undefined;
|
|
20
|
-
onPause?: (() => any) | undefined;
|
|
21
|
-
onLoad?: ((url: string) => any) | undefined;
|
|
22
|
-
onPlay?: (() => any) | undefined;
|
|
23
|
-
}>, {
|
|
24
|
-
poster: string;
|
|
25
|
-
autoplay: boolean;
|
|
26
|
-
controls: boolean;
|
|
27
|
-
muted: boolean;
|
|
28
|
-
}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
|
|
29
|
-
export default _default;
|
|
30
|
-
//# sourceMappingURL=VideoViewer.vue.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"VideoViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/VideoViewer.vue"],"names":[],"mappings":"AA0GA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;;;;;;;;;;;;;;;;;YAJU,MAAM;cACJ,OAAO;cACP,OAAO;WACV,OAAO;;AA2HjB,wBASG"}
|
|
@@ -1,7 +0,0 @@
|
|
|
1
|
-
export { default as ImageViewer } from './ImageViewer.vue';
|
|
2
|
-
export { default as VideoViewer } from './VideoViewer.vue';
|
|
3
|
-
export { default as AudioViewer } from './AudioViewer.vue';
|
|
4
|
-
export { default as CodeBlock } from './CodeBlock.vue';
|
|
5
|
-
export { default as TableOfContents } from './TableOfContents.vue';
|
|
6
|
-
export { default as TocItemComponent } from './TocItem.vue';
|
|
7
|
-
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,iBAAiB,CAAA;AACtD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAClE,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,eAAe,CAAA"}
|
package/dist/coq-B0L9upzn.js
DELETED
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
|
|
2
|
-
e
|
|
3
|
-
];
|
|
4
|
-
export {
|
|
5
|
-
t as default
|
|
6
|
-
};
|
package/dist/coq-vlPdR5hP.cjs
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const e=Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)),t=[e];exports.default=t;
|