vdm-vscode icon indicating copy to clipboard operation
vdm-vscode copied to clipboard

Published 20 hours ago • verified publisher icon overturetool

Fix typos in Isabelle options

Open FrederikPM opened this issue 2 years ago • 0 comments

E.g: "Linient" instead of Lenient

FrederikPM avatar May 04 '22 09:05 FrederikPM