[isabelle-dev] JEdit FAILED
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
> 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