src/Tools/VSCode/patches/isabelle_encoding.patch
changeset 83004 304519f22c2c
parent 75246 f32e5d4cf1a3