{"_id":"@4zzz/resolution-editor","name":"@4zzz/resolution-editor","dist-tags":{"latest":"1.0.0"},"versions":{"1.0.0":{"name":"@4zzz/resolution-editor","version":"1.0.0","homepage":"https://fmfi-uk-1-ain-412.github.io/resolution-editor","main":"lib/dist/components/AppComponent.js","types":"lib/types/types.d.ts","devDependencies":{"@babel/cli":"^7.16.0","@babel/preset-react":"^7.16.0","del-cli":"^4.0.1","gh-pages":"^2.2.0","react-scripts":"^3.0.0","typescript":"^4.5.2","isolate-css":"github:4zzz/isolate-css#700fe4daff852468cc7f0afc2041018acfd6393f"},"dependencies":{"@fmfi-uk-1-ain-412/js-fol-parser":"^0.6.1","bootstrap":"^4.4.1","prop-types":"^15.7.2","react-redux":"^7.0.2","redux":"^4.0.1","redux-undo":"^1.0.0-beta9-9-7"},"peerDependencies":{"react":"^17.0.2","react-dom":"^17.0.2"},"scripts":{"start":"react-scripts start","build":"react-scripts build","eject":"react-scripts eject","test":"react-scripts test --env=node --passWithNoTests","predeploy":"npm run build","deploy":"gh-pages -d build","build-module":"npx del-cli lib/dist && npx babel src/ --out-dir lib/dist && npx isolate-css-cli -p 3PuS8jnoJf -c -o lib/dist/static/css -u 1 public","prepare":"npm run build-module"},"browserslist":[">0.2%","not dead","not ie <= 11","not op_mini all"],"description":"An interactive editor of first-order resolution proofs, intended to be used as a teaching tool. Web-based, client-only, available for use at https://fmfi-uk-1-ain-412.github.io/resolution-editor/.","directories":{"lib":"lib"},"repository":{"type":"git","url":"git+https://github.com/4zzz/resolution-editor.git"},"author":"","license":"ISC","bugs":{"url":"https://github.com/4zzz/resolution-editor/issues"},"gitHead":"2e7f301b652a19274bd766a5d1bf1cbd1bb4ac4a","_id":"@4zzz/resolution-editor@1.0.0","_nodeVersion":"17.9.0","_npmVersion":"8.5.5","dist":{"integrity":"sha512-FDhkDTH2uddtNH3Yxe9mULc60KpWOic4DqDdhkojEJV6ZPxh1/bAJnRq+GCZOCnj1L7OtTNVJFrHaNZ+mYrsTQ==","shasum":"7a815e9c3b4418b3641a5d7389e7951b99b67cd1","tarball":"https://registry.npmjs.org/@4zzz/resolution-editor/-/resolution-editor-1.0.0.tgz","fileCount":48,"unpackedSize":342708,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDvPb6/WmsuL//hNlj6ZJB2DkE7/VVW49DCcQ24a6+NKQIgfc6O6N54fh2/9Vf0iu+OZLbMnk46XAmWaaFIQ84nR5o="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJiXvc4ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmr5yw/7BaypfkDUMtLeH8oNlEKfiV482wPhQc9h77d5W9y28uJiQN/m\r\npsHxKfBOJz6MbGxxfFw7H2wAfA6vxhsq9J2eto+E/r4V6XX/WAy1mzlDLUKr\r\nEdjOuO95a1j/ngW6BaduywGOpTkXRDawd1qRxASWw0Y86NmCFFIdJLORYBnt\r\nrdohH2kav/YOKrrgAkiBTL8YxsOjutvOp0Z6cUN9s5s95G5rdfGN4iQ9zeQG\r\nts1A96WSmHsIHGh1EpUGCQk0BiHgfa7Ca7XO7ieCxIE30DN32HVCxz3ulhyt\r\nPJRw00kpUbplfLZHDzKnnC/PztfOp6PR2jFfx00aggFPPrOYqTw4EKhyWHmj\r\nn4k6zphXjTM2GUDygS3JVSIss4k+49M9kohawTftVexyNCrvvJg+jFnbh3Si\r\nqeOaBdohcMJFA7K+ERo4vAfcEbm2woSusUD9K9V/M6od0dDT5ntWY498tibj\r\nDMFhTJDfNsVCHXn0iFQFKEn1XACnDQQFpAI9EfnEGpqX7F5qCaoZz3+9tNfh\r\nvMltTPrkTT8DjBeB0AYOBJteqPvLDy6BtRel2m7qkK86fAM4nEBGCUE4fR9Q\r\n1i2zOiPH579oDpsQ6Oit5/99N7rC5RbfUmhpOFBeZIF9TSSYfyajYayGS0tk\r\nTpIsOcJ/InanI4HNzfgncyWcZH3LS3sTN5w=\r\n=pifr\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"4zzz","email":"matej.mok@gmail.com"},"maintainers":[{"name":"4zzz","email":"matej.mok@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/resolution-editor_1.0.0_1650390840570_0.2644645755786752"},"_hasShrinkwrap":false}},"time":{"created":"2022-04-19T17:54:00.507Z","1.0.0":"2022-04-19T17:54:00.721Z","modified":"2022-04-19T17:54:00.888Z"},"maintainers":[{"name":"4zzz","email":"matej.mok@gmail.com"}],"description":"An interactive editor of first-order resolution proofs, intended to be used as a teaching tool. Web-based, client-only, available for use at https://fmfi-uk-1-ain-412.github.io/resolution-editor/.","homepage":"https://fmfi-uk-1-ain-412.github.io/resolution-editor","repository":{"type":"git","url":"git+https://github.com/4zzz/resolution-editor.git"},"bugs":{"url":"https://github.com/4zzz/resolution-editor/issues"},"license":"ISC","readme":"# Resolution Editor\n\nAn interactive editor of first-order resolution proofs, intended to be used\nas a teaching tool. Web-based, client-only, available for use at\nhttps://fmfi-uk-1-ain-412.github.io/resolution-editor/.\n\nDeveloped by [Norbert Jurík](@NorbertJu) as his bachelor thesis, supervised\nby Ján Kľuka.\n","readmeFilename":"README.md"}