package.json

{
  "name": "lean4web",
  "version": "0.1.0",
  "private": true,
  "homepage": ".",
  "dependencies": {
    "@fontsource/roboto": "^4.5.8",
    "@fontsource/roboto-mono": "^4.5.10",
    "@fortawesome/fontawesome-svg-core": "^6.2.0",
    "@fortawesome/free-solid-svg-icons": "^6.2.0",
    "@fortawesome/react-fontawesome": "^0.2.0",
    "@leanprover/infoview": "^0.4.2",
    "express": "^4.18.2",
    "file-saver": "^2.0.5",
    "ip-anonymize": "^0.1.0",
    "lean4": "https://gitpkg.now.sh/leanprover/vscode-lean4/vscode-lean4?79d345c739bf707024eef5057ccef81b404a2ddf",
    "mobx": "^6.6.2",
    "moment-timezone": "^0.5.39",
    "monaco-editor": "^0.34.1",
    "monaco-editor-textmate": "^4.0.0",
    "monaco-languageclient": "^4.0.1",
    "monaco-textmate": "^3.0.1",
    "nocache": "^3.0.4",
    "onigasm": "^2.2.5",
    "path-browserify": "^1.0.1",
    "react": "^18.2.0",
    "react-dom": "^18.2.0",
    "react-popper": "^2.3.0",
    "react-split": "^2.0.14",
    "stream-http": "^3.2.0",
    "vscode-ws-jsonrpc": "^2.0.2",
    "ws": "^8.12.0"
  },
  "devDependencies": {
    "@babel/cli": "^7.20.7",
    "@babel/core": "^7.20.12",
    "@babel/preset-env": "^7.1.0",
    "@babel/preset-react": "^7.0.0",
    "@babel/preset-typescript": "^7.18.6",
    "@pmmmwh/react-refresh-webpack-plugin": "^0.5.8",
    "@svgr/webpack": "^6.5.1",
    "@testing-library/react": "^13.4.0",
    "@types/file-saver": "^2.0.5",
    "babel-loader": "^9.1.2",
    "concurrently": "^7.4.0",
    "copy-webpack-plugin": "^11.0.0",
    "css-loader": "^6.7.3",
    "json-loader": "^0.5.7",
    "nodemon": "^2.0.20",
    "react-refresh": "^0.14.0",
    "style-loader": "^3.3.1",
    "ts-loader": "^9.4.1",
    "typescript": "^4.9.5",
    "webpack": "^5.74.0",
    "webpack-cli": "^5.0.1",
    "webpack-dev-server": "^4.11.1"
  },
  "scripts": {
    "start": "concurrently -n server,client -c blue,green \"npm run start_server\" \"npm run start_client\"",
    "start_server": "cd server && NODE_ENV=development nodemon ./index.js",
    "start_client": "NODE_ENV=development webpack-dev-server --hot",
    "build": "npm run build_server && npm run build_client",
    "build_server": "server/build.sh",
    "build_client": "NODE_ENV=production webpack",
    "production": "NODE_ENV=production node server/index.js"
  },
  "browserslist": {
    "production": [
      ">0.2%",
      "not dead",
      "not op_mini all"
    ],
    "development": [
      "last 1 chrome version",
      "last 1 firefox version",
      "last 1 safari version"
    ]
  }
}