[isabelle-dev] isabelle components -a does nothing

[Jasmin Blanchette]

Hi all,

I am trying to get the JDK 1.7 using the command

    isabelle components -a

but the command returns immediately. The diagnosis command

    isabelle components -l

prints

    Available components:
      /Users/blanchet/isabelle
      /Users/blanchet/isabelle/src/Tools/Code
      /Users/blanchet/isabelle/src/Tools/jEdit
      /Users/blanchet/isabelle/src/Tools/WWW_Find
      /Users/blanchet/isabelle/src/HOL/Mirabelle
      /Users/blanchet/isabelle/src/HOL/Mutabelle
      /Users/blanchet/isabelle/src/HOL/Library/Sum_of_Squares
      /Users/blanchet/isabelle/src/HOL/Tools/ATP
      /Users/blanchet/isabelle/src/HOL/Tools/Predicate_Compile
      /Users/blanchet/isabelle/src/HOL/Tools/SMT
      /Users/blanchet/isabelle/src/HOL/TPTP
      /Users/blanchet/isabelle/Admin
      /Users/blanchet/.isabelle
      /Users/blanchet/tum/official/e-1.6
      /Users/blanchet/tum/official/cvc3-2.4.1
      /Users/blanchet/misc/kodkodi-1.5.0
      /Users/blanchet/tum/official/spass-3.8ds
      /Users/blanchet/isabelle/contrib/yices-1.0.28
      /Users/blanchet/tum/official/z3-4.1

    Missing components:

If I try to do any productive work with Isabelle, I get

    Unknown ISABELLE_JDK_HOME -- Java tools unavailable

Going to

    http://isabelle.in.tum.de/components/

prints

    Not Found

    The requested URL /components/ was not found on this server.

I'd be thankful for any help.

Regards,

Jasmin