[isabelle-dev] Remaining uses of Proof General?
makarius at sketis.net
Fri Jun 27 14:05:24 CEST 2014
On Fri, 27 Jun 2014, Peter Lammich wrote:
> Moreover, I would like an incremental search, but there is probably a
> jEdit pluging somewhere? (Probably with the same problems of entering
> non-ASCII characters)
Other people have given some hints already.
You should also take the time to *print* and *read* the original jEdit
user's guide, e.g. see http://www.jedit.org/index.php?page=docs. It is a
very powerful editor, and Emacs looks really awkward compared to it.
More information about the isabelle-dev