lean4monaco 1.0.10 → 1.0.12

package/package.json

@@ -1,38 +1,41 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.10",
-  "type": "module",
-  "main": "dist/index.js",
+  "version": "1.0.12",
+  "description": "Monaco Editor support for the Lean 4 theorem prover.",
+  "keywords": [
+    "lean",
+    "leanprover",
+    "monaco",
+    "editor",
+    "vscode"
+  ],
+  "homepage": "https://github.com/hhu-adam/lean4monaco",
+  "bugs": {
+    "url": "https://github.com/hhu-adam/lean4monaco/issues"
+  },
+  "license": "Apache-2.0",
+  "author": {
+    "name": "Alexander Bentkamp"
+  },
+  "contributors": [
+    {
+      "name": "Jon Eugster",
+      "url": "https://github.com/joneugster"
+    }
+  ],
   "files": [
     "dist"
   ],
+  "main": "dist/index.js",
+  "type": "module",
   "repository": {
     "type": "git",
     "url": "https://github.com/hhu-adam/lean4monaco"
   },
   "scripts": {
-    "postinstall": "if [ -d \"server\" ]; then cd server && npm install; fi",
-    "start_client": "vite serve dev",
-    "build_server": "cd server/LeanProject && lake build",
-    "start_server": "cd server && npm start",
-    "start": "concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"",
-    "build": "tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/",
-    "test": "concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
-  },
-  "devDependencies": {
-    "@chialab/esbuild-plugin-meta-url": "^0.18.2",
-    "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
-    "@types/node": "^20.14.2",
-    "@types/semver": "^7.5.8",
-    "@types/vscode": "^1.89.0",
-    "copyfiles": "^2.4.1",
-    "cypress": "^13.13.0",
-    "cypress-iframe": "^1.0.1",
-    "typescript": "^5.4.5",
-    "vite": "^5.2.0",
-    "vite-plugin-node-polyfills": "^0.22.0",
-    "vite-plugin-static-copy": "^1.0.6",
-    "wait-on": "^7.2.0"
+    "start": "concurrently \"tsc -w\" \"webpack --watch\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,vite,server -c \"bgGreen.bold,bgBlue.bold,bgYellow.bold,bgMagenta.bold\"",
+    "build": "tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/",
+    "test": "(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
   },
   "dependencies": {
     "@leanprover/infoview": "=0.7.0",
@@ -47,5 +50,20 @@
     "react-dom": "^18.3.1",
     "semver": "^7.6.2",
     "zod": "^3.23.8"
+  },
+  "devDependencies": {
+    "@chialab/esbuild-plugin-meta-url": "^0.18.2",
+    "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
+    "@types/node": "^20.14.2",
+    "@types/semver": "^7.5.8",
+    "@types/vscode": "^1.89.0",
+    "copyfiles": "^2.4.1",
+    "cypress": "^13.13.0",
+    "cypress-iframe": "^1.0.1",
+    "ts-loader": "^9.5.1",
+    "typescript": "^5.4.5",
+    "wait-on": "^7.2.0",
+    "webpack": "^5.93.0",
+    "webpack-cli": "^5.1.4"
   }
 }

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

@@ -1,59 +0,0 @@
-{
-    "name": "@leanprover/infoview",
-    "version": "0.7.2",
-    "description": "An interactive display for the Lean 4 theorem prover.",
-    "scripts": {
-        "watch": "rollup --config --environment NODE_ENV:development --watch",
-        "build": "rollup --config --environment NODE_ENV:production",
-        "watchTest": "npm run watch",
-        "test": "tsc -p test/tsconfig.json"
-    },
-    "exports": {
-        ".": "./dist/index.development.js",
-        "./loader": "./dist/loader.production.min.js",
-        "./package.json": "./package.json"
-    },
-    "typesVersions": {
-        "*": {
-            "*": [
-                "dist/index.d.ts"
-            ],
-            "loader": [
-                "dist/loader.d.ts"
-            ]
-        }
-    },
-    "files": [
-        "dist/*"
-    ],
-    "type": "module",
-    "license": "Apache-2.0",
-    "devDependencies": {
-        "@floating-ui/react": "^0.24.7",
-        "@rollup/plugin-commonjs": "^23.0.7",
-        "@rollup/plugin-node-resolve": "^15.1.0",
-        "@rollup/plugin-replace": "^5.0.2",
-        "@rollup/plugin-terser": "^0.1.0",
-        "@rollup/plugin-typescript": "^9.0.2",
-        "@rollup/plugin-url": "^8.0.1",
-        "@types/marked": "^4.3.1",
-        "@types/react": "^18.2.15",
-        "@types/react-dom": "^18.2.7",
-        "current-release": "npm:@leanprover/infoview@latest",
-        "react": "^18.2.0",
-        "react-dom": "^18.2.0",
-        "rollup": "^3.26.2",
-        "rollup-plugin-css-only": "^4.3.0",
-        "typescript": "^5.4.5"
-    },
-    "dependencies": {
-        "@leanprover/infoview-api": "~0.4.0",
-        "@vscode/codicons": "^0.0.32",
-        "@vscode/webview-ui-toolkit": "^1.4.0",
-        "es-module-shims": "^1.7.3",
-        "marked": "^4.3.0",
-        "react-fast-compare": "^3.2.2",
-        "tachyons": "^4.12.0",
-        "vscode-languageserver-protocol": "^3.17.3"
-    }
-}

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

@@ -1,272 +0,0 @@
-/* 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

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

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

@@ -1,34 +0,0 @@
-{
-    "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

@@ -1,20 +0,0 @@
-{
-    "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

@@ -1,29 +0,0 @@
-{
-    "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

@@ -1,19 +0,0 @@
-{
-    "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"
-    }
-}