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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
