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

DateTime is not recognised as a primitive by changing colour

Open OliverTod opened this issue 3 years ago • 0 comments

In a cicero file, 'Date' is recognised by the VSCode Extension (and given a pretty green colour), but not DateTime is not recognised: image

DateTime is a cicero primitive.

OliverTod avatar Sep 23 '21 11:09 OliverTod