Fix no-op with `-noinit` - Githubissues

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 34 forks source link

Fix no-op with `-noinit` #313

Closed whonore closed 2 years ago