[isabelle-dev] JEdit FAILED

[Makarius]

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


 	Makarius