Open davidgarland opened 5 years ago
At the moment my syntax highlighting seems to show some incompatibility with the new "open import" syntax-- is there any place I can grab up-to-date versions of the Vim highlighting, for future reference?
There's no official place but you can have it from here.
Thanks :)
At the moment my syntax highlighting seems to show some incompatibility with the new "open import" syntax-- is there any place I can grab up-to-date versions of the Vim highlighting, for future reference?