equal
deleted
inserted
replaced
12 "icon": "isabelle.png", |
12 "icon": "isabelle.png", |
13 "version": "1.1.0", |
13 "version": "1.1.0", |
14 "publisher": "makarius", |
14 "publisher": "makarius", |
15 "license": "MIT", |
15 "license": "MIT", |
16 "repository": { |
16 "repository": { |
17 "url": "http://isabelle.in.tum.de/repos/isabelle" |
17 "url": "https://isabelle.in.tum.de/repos/isabelle" |
18 }, |
18 }, |
19 "engines": { |
19 "engines": { |
20 "vscode": "^1.8.0" |
20 "vscode": "^1.8.0" |
21 }, |
21 }, |
22 "categories": [ |
22 "categories": [ |