forked from leanprover-community/lean-web-editor
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.json
33 lines (33 loc) · 862 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
{
"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.8.17",
"@types/react-dom": "16.8.0",
"ajv": "^6.10.0",
"lean-client-js-browser": "^2.0.1",
"monaco-editor": "0.10.1",
"react": "16.2.0",
"react-dom": "16.2.1",
"react-split-pane": "0.1.77"
},
"devDependencies": {
"copy-webpack-plugin": "^4.4.1",
"html-webpack-plugin": "^2.30.1",
"terser-webpack-plugin-legacy": "^1.2.5",
"ts-loader": "^3.5.0",
"tslint": "^5.9.1",
"typescript": "^2.7.1",
"webpack": "^3.11.0",
"webpack-dev-server": "^2.11.1",
"worker-loader": "^1.1.0"
}
}