src/Tools/VSCode/extension/package.json
changeset 66598 e2671e8c476f
parent 66597 53dcc7454221
child 66673 1e4450008c47
equal deleted inserted replaced
66597:53dcc7454221 66598:e2671e8c476f
     1 {
     1 {
     2     "name": "isabelle",
     2     "name": "Isabelle2017",
     3     "displayName": "Isabelle",
     3     "displayName": "Isabelle2017",
     4     "description": "Isabelle Prover IDE",
     4     "description": "Isabelle Prover IDE",
     5     "keywords": [
     5     "keywords": [
     6         "theorem prover",
     6         "theorem prover",
     7         "formalized mathematics",
     7         "formalized mathematics",
     8         "mathematical logic",
     8         "mathematical logic",