the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

Add experimental syntax coloring for Goals subwindow #35

Closed lgeorget closed 9 years ago

lgeorget commented 9 years ago

Hello,

as the feature has been requested (and as I've been needing it myself), this patch introduces syntax coloring for the Goals subwindow. It is pretty stable.

Laurent goals

trefis commented 9 years ago

This looks great, thanks!