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

Published 20 hours ago • verified publisher icon overturetool

Translator erro message output

Open leouk opened this issue 3 years ago • 5 comments

Hi Jonas,

Wondered how/where the translation error messages would appear in the extension? Couldn't quite find where they were.

Best, Leo

leouk avatar Feb 26 '22 11:02 leouk