Re: [isabelle] Isabelle 2014 and proof general



On 12.09.2014 15:57, Vadim Zaliva wrote:
> Most importantly in #1 I found jEdit (mind you, not Isabelle/jEdit but
> jEdit itself) lacking, compared to Emacs. A couple of trivial
> examples: I-search and working with rectangular blocks in copy/paste.
Incremental search in jEdit is by default to "Alt+,"; rectangular
selection can be toggled by "Alt+#".




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.