devel build requires 'jedit -bf'
devel build requires 'jedit -bf'

Isabelle expects the 'src/Tools/jEdit/dist/' directory to be present.
This directory only gets created when building Isabelle/jEdit.

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle