equal
deleted
inserted
replaced
31 ], |
31 ], |
32 "main": "./out/src/extension", |
32 "main": "./out/src/extension", |
33 "contributes": { |
33 "contributes": { |
34 "commands": [ |
34 "commands": [ |
35 { |
35 { |
|
36 "command": "isabelle.state", |
|
37 "title": "Show Proof State", |
|
38 "category": "Isabelle" |
|
39 }, |
|
40 { |
36 "command": "isabelle.preview", |
41 "command": "isabelle.preview", |
37 "title": "Open Preview", |
42 "title": "Open Preview", |
38 "category": "Isabelle", |
43 "category": "Isabelle", |
39 "icon": { |
44 "icon": { |
40 "light": "./media/Preview.svg", |
45 "light": "./media/Preview.svg", |