src/Tools/VSCode/extension/isabelle-ml-language.json
changeset 65172 365e97f009ed
parent 64764 452b4fb7927c
equal deleted inserted replaced
65171:63655086649f 65172:365e97f009ed