changeset 64736 | 07bf45283b92 |
parent 64735 | 4ad6d21545bd |
child 64738 | bcdecd466cb2 |
64735:4ad6d21545bd | 64736:07bf45283b92 |
---|---|
24 "languages": [ |
24 "languages": [ |
25 { |
25 { |
26 "id": "isabelle", |
26 "id": "isabelle", |
27 "aliases": ["Isabelle"], |
27 "aliases": ["Isabelle"], |
28 "extensions": [".thy"], |
28 "extensions": [".thy"], |
29 "configuration": "./language-configuration.json" |
29 "configuration": "./isabelle-language.json" |
30 } |
30 } |
31 ], |
31 ], |
32 "configuration": { |
32 "configuration": { |
33 "title": "Isabelle", |
33 "title": "Isabelle", |
34 "properties": { |
34 "properties": { |