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": "1.1.2", |
13 "version": "1.2.0", |
14 "publisher": "makarius", |
14 "publisher": "makarius", |
15 "license": "MIT", |
15 "license": "MIT", |
16 "repository": { |
16 "repository": { |
17 "url": "https://isabelle.in.tum.de/repos/isabelle" |
17 "url": "https://isabelle.in.tum.de/repos/isabelle" |
18 }, |
18 }, |