src/Tools/VSCode/extension/isabelle-language.json
changeset 69981 3dced198b9ec
parent 64765 8ae1af3f88b1