[isabelle-dev] JEdit FAILED

Makarius makarius at sketis.net
Sat Jun 28 17:24:07 CEST 2014

On Sat, 28 Jun 2014, Makarius wrote:

> 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.

Another guess: Isabelle/jEdit is really missing, because of a lacking 
"isabelle jedit -b" that is done in regular makedist (e.g. in isatest).


More information about the isabelle-dev mailing list