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

Published 20 hours ago • verified publisher icon leanprover

Don't highlight fields of things as leanKeyword

Open Julian opened this issue 5 years ago • 1 comments

Right now e.g. ne.def will highlight def as a leanKeyword.

Julian avatar Oct 31 '20 17:10 Julian

This seems to be fixed with the new syntax file. 8190db010334fbdf287a3aa219007cd33780681f

gebner avatar May 31 '21 08:05 gebner