Auto move cursor as default behavior

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Auto move cursor as default behavior #44

Open zjhmale opened 8 years ago

zjhmale commented 8 years ago

Mentioned at #43.

as it is a default behavior to move cursor along with the proof step on other Coq IDE e.g. proof-general or CoqIDE, i can not find any reason why we don't comply with this convention. 😃

zjhmale commented 8 years ago

poke @trefis.