vscode-lean4/lean4-infoview/package.json at master · leanprover/vscode-lean4 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
{
    "name": "@leanprover/infoview",
    "version": "0.13.0",
    "description": "An interactive display for the Lean 4 theorem prover.",
    "repository": {
        "type": "git",
        "url": "https://github.com/leanprover/vscode-lean4.git"
    },
    "scripts": {
        "watch": "rollup --config --environment NODE_ENV:development --watch",
        "build": "rollup --config --environment NODE_ENV:production",
        "build:dev": "rollup --config --environment NODE_ENV:development",
        "watchTest": "npm run watch",
        "test": "tsc -p test/tsconfig.json"
    },
    "exports": {
        ".": {
            "types": "./dist/index.d.ts",
            "development": "./dist/index.development.js",
            "default": "./dist/index.production.min.js"
        },
        "./loader": {
            "types": "./dist/loader.d.ts",
            "development": "./dist/loader.development.js",
            "default": "./dist/loader.production.min.js"
        },
        "./package.json": "./package.json"
    },
    "files": [
        "dist/*"
    ],
    "type": "module",
    "license": "Apache-2.0",
    "devDependencies": {
        "@floating-ui/react": "^0.26.25",
        "@rollup/plugin-commonjs": "^29.0.2",
        "@rollup/plugin-json": "^6.1.0",
        "@rollup/plugin-node-resolve": "^16.0.3",
        "@rollup/plugin-replace": "^6.0.1",
        "@rollup/plugin-terser": "^1.0.0",
        "@rollup/plugin-typescript": "^12.1.0",
        "@rollup/plugin-url": "^8.0.1",
        "@types/react": "^18.2.15",
        "@types/react-dom": "^18.2.7",
        "@types/react-syntax-highlighter": "^15.5.13",
        "current-release": "npm:@leanprover/infoview@latest",
        "highlightjs-lean": "^1.2.0",
        "react": "^18.2.0",
        "react-dom": "^18.2.0",
        "react-markdown": "^9.0.1",
        "react-syntax-highlighter": "^15.5.0",
        "remark-math": "^6.0.0",
        "rehype-mathjax": "^7.1.0",
        "mathjax-full": "~3.2.2",
        "rollup": "^4.24.0",
        "rollup-plugin-css-only": "^4.3.0",
        "typescript": "^5.4.5"
    },
    "dependencies": {
        "@leanprover/infoview-api": "~0.13.0",
        "@vscode/codicons": "^0.0.40",
        "@vscode-elements/react-elements": "^0.5.0",
        "es-module-lexer": "^1.5.4",
        "es-module-shims": "^2.8.0",
        "react-fast-compare": "^3.2.2",
        "tachyons": "^4.12.0",
        "vscode-languageserver-protocol": "^3.17.3"
    }
}