Calvin-L/sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

PythonMIT

Issues

Water mark does not always go up after editing stepped code
#9 opened a year ago
4
High water mark incorrectly moved during undo
#6 opened 2 years ago
3