forked from leanprover/lean3-web-editor
-
Notifications
You must be signed in to change notification settings - Fork 15
/
package.json
34 lines (34 loc) · 888 Bytes
/
package.json
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
{
"name": "lean-web-editor",
"version": "1.0.0",
"description": "Lean Web Editor",
"main": "index.js",
"scripts": {
"test": "echo \"Error: no test specified\" && exit 1"
},
"author": "Gabriel Ebner",
"license": "Apache-2.0",
"dependencies": {
"@types/node": "^9.4.6",
"@types/react": "^16.14.42",
"@types/react-dom": "^16.9.19",
"buffer": "^6.0.3",
"lean-client-js-browser": "^3.5.1",
"monaco-editor": "0.10.1",
"path-browserify": "^1.0.1",
"react": "^16.14.0",
"react-dom": "^16.14.0",
"react-split-pane": "0.1.77"
},
"devDependencies": {
"copy-webpack-plugin": "^11.0.0",
"html-webpack-plugin": "^5.5.1",
"ts-loader": "^9.4.3",
"tslint": "^6.1.3",
"typescript": "^5.0.4",
"webpack": "^5.84.1",
"webpack-cli": "^5.1.1",
"webpack-dev-server": "^4.15.0",
"worker-loader": "^3.0.8"
}
}