vscode-extension
vscode-extension copied to clipboard
DateTime is not recognised as a primitive by changing colour
In a cicero file, 'Date' is recognised by the VSCode Extension (and given a pretty green colour), but not DateTime is not recognised:
DateTime is a cicero primitive.