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.16.0", |
13 "version": "0.17.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": "http://isabelle.in.tum.de/repos/isabelle" |
18 }, |
18 }, |