lean4monaco 1.0.0

package/dist/monaco-lean4/lean4-infoview/src/infoview/index.css

@@ -0,0 +1,272 @@
+/* Some styles specific to the infoview. */
+
+html,
+body {
+    height: 100%;
+}
+
+.font-code {
+    color: var(--vscode-editor-foreground);
+    font-family: var(--vscode-editor-font-family);
+    font-weight: var(--vscode-editor-font-weight);
+    font-size: var(--vscode-editor-font-size);
+    line-height: var(--vscode-editor-line-height);
+}
+
+.font-size-code-smaller {
+    font-size: calc(0.8 * var(--vscode-editor-font-size));
+    line-height: calc(0.8 * var(--vscode-editor-line-height));
+}
+
+.font-normal {
+    font-family: var(--vscode-font-family);
+    font-weight: var(--vscode-font-weight);
+    font-size: var(--vscode-font-size);
+}
+
+.codicon-blank {
+    width: 20px;
+    height: 16px;
+}
+
+/* These are syntax highlights for the string goal view. */
+.goal-goals {
+    color: var(--vscode-lean4-infoView\.goalCount);
+}
+.goal-vdash {
+    color: var(--vscode-lean4-infoView\.turnstile);
+}
+.goal-case {
+    color: var(--vscode-lean4-infoView\.caseLabel);
+}
+.goal-hyp {
+    color: var(--vscode-lean4-infoView\.hypothesisName);
+}
+.goal-inaccessible {
+    color: var(--vscode-lean4-infoView\.inaccessibleHypothesisName);
+    opacity: 0.7;
+    font-style: italic;
+    font-weight: normal;
+}
+
+/* Used to denote text highlighted by the pretty-print expression widget. */
+.highlightable {
+    border-radius: 2pt;
+    transition: background-color 100ms ease-in-out;
+}
+
+.highlight {
+    background-color: var(--vscode-editor-selectionBackground) !important;
+}
+
+.highlight-selected {
+    background-color: var(--vscode-editorOverviewRuler-rangeHighlightForeground);
+}
+
+/* Interactive traces */
+.trace-line:hover {
+    background-color: #dbeeff;
+}
+.vscode-dark .trace-line:hover {
+    background-color: #1a2c3c;
+}
+.trace-class {
+    opacity: 0.4;
+}
+
+.pre-wrap {
+    white-space: pre-wrap;
+}
+
+.error {
+    color: #e51400;
+}
+
+.warning {
+    color: #bf8803;
+}
+
+.information {
+    color: darkgreen;
+}
+
+.vscode-dark .error {
+    color: #f14c4c;
+}
+
+.vscode-dark .warning {
+    color: #cca700;
+}
+
+.vscode-dark .information {
+    color: #89d185;
+}
+
+.vscode-high-contrast .error {
+    color: lightpink;
+}
+
+.vscode-high-contrast .warning {
+    color: yellow;
+}
+
+.vscode-high-contrast .information {
+    color: lightgreen;
+}
+
+/* Headers for infoview */
+
+.restart-file-button {
+    position: fixed;
+    bottom: 10px;
+    right: 10px;
+    z-index: 37;
+}
+
+select {
+    background-color: var(--vscode-dropdown-background);
+    color: var(--vscode-dropdown-foreground);
+    border-color: var(--vscode-dropdown-border);
+}
+
+/* Style for the rounded box that is the outermost div of every tooltip.
+ * We use more specific classes for styling tooltip contents. */
+.tooltip {
+    background-color: var(--vscode-editorHoverWidget-background);
+    border-radius: 4px;
+    border-color: var(--vscode-editorHoverWidget-border);
+    border-width: 1px;
+    border-style: solid;
+    box-shadow: 1px 1px 5px var(--vscode-widget-shadow);
+    box-sizing: border-box;
+    /* Note: max-height is set in JS. */
+    max-width: 70%;
+    /* Flexbox ensures that contents don't overflow. */
+    display: flex;
+}
+
+.tooltip-content {
+    padding: 4px 8px;
+    overflow-y: auto;
+    overscroll-behavior: contain;
+}
+
+/* Contents of a list of selections shown as a tooltip. */
+.tooltip-menu-content {
+    color: var(--vscode-editorHoverWidget-foreground);
+}
+
+.tooltip-menu-content .tooltip-menu-text {
+    text-align: center;
+    padding: 5px;
+    vertical-align: top;
+    display: inline-block;
+}
+
+.tooltip-menu-content .tooltip-menu-icon {
+    padding: 0px;
+    margin-top: 6px;
+}
+
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+/* adapted from https://github.com/microsoft/vscode/blob/main/src/vs/base/browser/ui/hover/hover.css */
+
+/* Contents of a code tooltip showing a value, type, documentation, etc. */
+.tooltip-code-content {
+    color: var(--vscode-editorHoverWidget-foreground);
+    line-height: var(--vscode-editor-line-height);
+}
+
+.tooltip-code-content a:hover {
+    cursor: pointer;
+}
+
+.tooltip-code-content p,
+.tooltip-code-content .code,
+.tooltip-code-content ul {
+    margin: 8px 0;
+}
+
+.tooltip-code-content hr {
+    box-sizing: border-box;
+    border-left: -8px;
+    border-right: -8px;
+    margin-top: 4px;
+    margin-bottom: 4px;
+    height: 1px;
+    border-bottom-width: 0px;
+    border-top-width: 1px;
+    border-top-style: solid;
+    border-top-color: var(--vscode-editorHoverWidget-border);
+}
+
+.tooltip-code-content p:first-child,
+.tooltip-code-content .code:first-child,
+.tooltip-code-content ul:first-child {
+    margin-top: 0;
+}
+
+.tooltip-code-content p:last-child,
+.tooltip-code-content .code:last-child,
+.tooltip-code-content ul:last-child {
+    margin-bottom: 0;
+}
+
+/* MarkupContent Layout */
+.tooltip-code-content ul {
+    padding-left: 20px;
+}
+.tooltip-code-content ol {
+    padding-left: 20px;
+}
+
+.tooltip-code-content li > p {
+    margin-bottom: 0;
+}
+
+.tooltip-code-content li > ul {
+    margin-top: 0;
+}
+
+.tooltip-code-content code {
+    border-radius: 3px;
+    padding: 0 0.4em;
+    background-color: var(--vscode-textCodeBlock-background);
+}
+
+.vscode-high-contrast .inserted-text {
+    border: thin solid var(--vscode-diffEditor-insertedTextBorder);
+}
+
+.vscode-high-contrast .removed-text {
+    border: thin solid var(--vscode-diffEditor-removedTextBorder);
+}
+
+.inserted-text {
+    background-color: var(--vscode-diffEditor-insertedTextBackground);
+    border-radius: 2pt;
+}
+
+.removed-text {
+    background-color: var(--vscode-diffEditor-removedTextBackground);
+    border-radius: 2pt;
+}
+
+.b--inserted {
+    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
+}
+
+.b--modified {
+    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
+}
+
+.b--removed {
+    border-color: var(--vscode-diffEditor-removedTextBackground) !important;
+}
+
+.b--transparent {
+    border-color: transparent;
+}

package/dist/monaco-lean4/lean4-infoview/test/tsconfig.json

@@ -0,0 +1,7 @@
+{
+    "extends": "../tsconfig",
+    "compilerOptions": {
+        "rootDir": "../"
+    },
+    "include": ["./**/*", "../src/**/*"]
+}

package/dist/monaco-lean4/lean4-infoview/tsconfig.json

@@ -0,0 +1,34 @@
+{
+    "compilerOptions": {
+        /* Projects */
+        "composite": true,
+
+        /* Language and Environment */
+        "target": "esnext",
+        "lib": ["DOM", "DOM.Iterable", "ESNext"],
+        "jsx": "react-jsx",
+
+        /* Modules */
+        "module": "esnext",
+        "moduleResolution": "node",
+
+        /* Emit */
+        "sourceMap": true,
+        "rootDir": "src",
+        "outDir": "dist",
+
+        /* Interop Constraints */
+        "esModuleInterop": true,
+        "forceConsistentCasingInFileNames": true,
+
+        /* Type Checking */
+        "strict": true,
+        "noImplicitAny": true,
+        "noFallthroughCasesInSwitch": true,
+
+        /* Completeness */
+        "skipLibCheck": true
+    },
+    "include": ["src/**/*"],
+    "exclude": ["dist"]
+}

package/dist/monaco-lean4/lean4-infoview-api/package.json

@@ -0,0 +1,20 @@
+{
+    "name": "@leanprover/infoview-api",
+    "version": "0.4.0",
+    "description": "Types and API for @leanprover/infoview.",
+    "scripts": {
+        "watch": "tsc --watch",
+        "watchTest": "tsc --watch",
+        "build": "tsc"
+    },
+    "main": "dist/index",
+    "types": "dist/index",
+    "files": [
+        "dist/*"
+    ],
+    "license": "Apache-2.0",
+    "devDependencies": {
+        "typescript": "^5.4.5",
+        "vscode-languageserver-protocol": "^3.17.3"
+    }
+}

package/dist/monaco-lean4/lean4-infoview-api/tsconfig.json

@@ -0,0 +1,29 @@
+{
+    "compilerOptions": {
+        /* Code generation */
+        "target": "ES2021",
+        "module": "ES6",
+        "lib": ["dom", "dom.iterable", "ES2021"],
+        "allowJs": true,
+        "esModuleInterop": true,
+
+        /* Type-checking */
+        "strict": true,
+        "noFallthroughCasesInSwitch": true,
+        "skipLibCheck": true,
+
+        /* Module resolution */
+        "moduleResolution": "node",
+        "allowSyntheticDefaultImports": true,
+        "forceConsistentCasingInFileNames": true,
+
+        /* Output */
+        "composite": true,
+        "rootDir": "src/",
+        "outDir": "dist/",
+        "declaration": true,
+        "sourceMap": true
+    },
+
+    "include": ["src/**/*"]
+}

package/dist/monaco-lean4/lean4-unicode-input/package.json

@@ -0,0 +1,19 @@
+{
+    "name": "@leanprover/unicode-input",
+    "version": "0.1.0",
+    "description": "Unicode input mechanism for the Lean 4 theorem prover",
+    "scripts": {
+        "watch": "tsc --watch",
+        "watchTest": "tsc --watch",
+        "build": "tsc"
+    },
+    "main": "dist/index",
+    "types": "dist/index",
+    "files": [
+        "dist/*"
+    ],
+    "license": "Apache-2.0",
+    "devDependencies": {
+        "typescript": "^5.4.5"
+    }
+}