Infos panel displays only a blank line when typed :Coq Check nat.

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Closed ZhuSixiao closed 7 years ago

ZhuSixiao commented 7 years ago

dwarfmaster commented 7 years ago

I made a patch #55 which should fix that. Would you mind testing it ?