src/Tools/VSCode/extension/isabelle-ml-language.json
changeset 64948 e655d965307c
parent 64764 452b4fb7927c