On 2016-06-27 11:33, Andreas Röhler wrote:
>> AFAICT, Isabelle moved to jEdit because that's what the authors
>> liked programming in
> 
> That's interesting. Maybe that would also worth being reflected. So
> extending in Java should be easier than in Emacs Lisp? How could it
> came to this?

Also: Makarius is a co-author of jEdit.