[isabelle-dev] Remaining uses of Proof General?

Makarius 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 mailing list