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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
