changeset 76020 | 04ce6cf2bd3b |
parent 75313 | d07c886a27a9 |
76019:f3d8da992445 | 76020:04ce6cf2bd3b |
---|---|
15 "license": "MIT", |
15 "license": "MIT", |
16 "repository": { |
16 "repository": { |
17 "url": "https://isabelle-dev.sketis.net" |
17 "url": "https://isabelle-dev.sketis.net" |
18 }, |
18 }, |
19 "engines": { |
19 "engines": { |
20 "vscode": "1.65.2" |
20 "vscode": "1.70.1" |
21 }, |
21 }, |
22 "categories": [ |
22 "categories": [ |
23 "Programming Languages" |
23 "Programming Languages" |
24 ], |
24 ], |
25 "activationEvents": [ |
25 "activationEvents": [ |