xref: /plugin/mizarverifiabledocs/package.json (revision 3f7dd076be52992d1f40215ecd797f9d17132992) 
1e78fd15dSYamadaMiz{
2e78fd15dSYamadaMiz  "name": "my-parser-name",
3e78fd15dSYamadaMiz  "version": "0.1.0",
4e78fd15dSYamadaMiz  "type": "module",
5e78fd15dSYamadaMiz  "dependencies": {
611977291SYamadaMiz    "@codemirror/commands": "^6.8.0",
7e78fd15dSYamadaMiz    "@codemirror/language": "^6.1.1",
8e78fd15dSYamadaMiz    "@codemirror/state": "^6.4.0",
9e78fd15dSYamadaMiz    "@codemirror/view": "^6.23.0",
10e78fd15dSYamadaMiz    "@lezer/highlight": "^1.0.0",
11e78fd15dSYamadaMiz    "@lezer/lr": "^1.0.0"
12e78fd15dSYamadaMiz  },
13e78fd15dSYamadaMiz  "scripts": {
14e78fd15dSYamadaMiz    "build": "parcel build src/script.js --dist-dir dist",
15e78fd15dSYamadaMiz    "prepare": "lezer-generator src/mizar.grammar -o src/mizar-parser.js"
16e78fd15dSYamadaMiz  },
17e78fd15dSYamadaMiz  "devDependencies": {
18e78fd15dSYamadaMiz    "@lezer/generator": "^1.0.0",
19*3f7dd076SYamadaMiz    "parcel": "^2.15.4",
20e78fd15dSYamadaMiz    "process": "^0.11.10"
21e78fd15dSYamadaMiz  }
22e78fd15dSYamadaMiz}
23