Discussion:
[isabelle] vim
(too old to reply)
Ramana Kumar
2015-08-01 07:29:25 UTC
Permalink
Raw Message
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***@gmail.com
2016-11-03 16:07:44 UTC
Permalink
Raw Message
Post by 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
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?

Loading...