[isabelle] vim

[Ramana Kumar]

Hi list,

Does anyone use Vim keybindings (and/or any other Vim emulation options)
with Isabelle/jEdit?

If you do, I would like to know how you would recommend setting that up.
(For example, are there any jEdit settings or configuration files that can
be used, or any plugins?)

If you would be interested in using Vim keybindings, but are not aware of
any suitable options to use them with Isabelle/jEdit, then also please get
in touch with me. In that case I would be interested in working on
improving or implementing a plugin providing this functionality.

Thanks,
Ramana

[m.al...@gmail.com]

Hello,

I (sadly!) do not have a solution to this, rather I am curious if you managed
to find one, and if so how did you solve the problem?