| changeset 64752 | c23c754f8c58 |
| parent 64750 | 1f855e03455f |
| child 64755 | ceb81f4928ea |
| 64751:f0057930d4c4 | 64752:c23c754f8c58 |
|---|---|
31 }, |
31 }, |
32 { |
32 { |
33 "id": "isabelle-ml", |
33 "id": "isabelle-ml", |
34 "aliases": ["Isabelle/ML"], |
34 "aliases": ["Isabelle/ML"], |
35 "extensions": [".ML"], |
35 "extensions": [".ML"], |
36 "configuration": "./isabelle-language.json" |
36 "configuration": "./isabelle-ml-language.json" |
37 } |
37 } |
38 |
38 |
39 ], |
39 ], |
40 "grammars": [ |
40 "grammars": [ |
41 { |
41 { |