equal
deleted
inserted
replaced
8 "mathematical logic", |
8 "mathematical logic", |
9 "functional programming", |
9 "functional programming", |
10 "document preparation" |
10 "document preparation" |
11 ], |
11 ], |
12 "icon": "isabelle.png", |
12 "icon": "isabelle.png", |
13 "version": "0.4.0", |
13 "version": "0.5.0", |
14 "publisher": "makarius", |
14 "publisher": "makarius", |
15 "license": "BSD-3-Clause", |
15 "license": "BSD-3-Clause", |
16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
17 "engines": { "vscode": "^1.8.0" }, |
17 "engines": { "vscode": "^1.8.0" }, |
18 "categories": ["Languages"], |
18 "categories": ["Languages"], |