coq.vim icon indicating copy to clipboard operation
coq.vim copied to clipboard

Published 20 hours ago • verified publisher icon jvoorhis

Add more vernacular commands

Open wrengr opened this issue 7 years ago • 0 comments

Some (newer?) vernacular commands aren't being highlighted; e.g., Context, Implicit Type, Hint Resolve,...

wrengr avatar Aug 04 '17 00:08 wrengr