[isabelle-dev] JEdit FAILED

Makarius makarius at sketis.net
Sat Jun 28 17:14:30 CEST 2014

On Sat, 28 Jun 2014, Florian Haftmann wrote:

> suggests that something is bad with $JEDIT_HOME in the mira build
> environment.

JEDIT_HOME is a normal Isabelle setting, provided by the etc/settings of 
that component within Isabelle.  So it should normally be there, although 
I don't understand the mira setup.


More information about the isabelle-dev mailing list