[isabelle] missing link in isabelle installation files



hello,

during the installation of isabelle following the instructions on
http://isabelle.in.tum.de/installation.html
i ran into the following problem:

after starting Isabelle, when trying to charge the first lines
'
 theory Vect
 begin
'
i had the error message
Unknown logic "HOL" -- no heap file found in:
  /home/gp/ahrens/isabelle/heaps/Isabelle2008/polyml_x86-linux
  /usr/local/Isabelle2008/heaps/polyml_x86-linux

the reason was a missing pointer polyml_x86-linux to the directory polyml-<version>_x86-linux (version 5.2).

is this meant to be like that ? if yes, there should be a hint in the INSTALL notes. if not, you might want to repair it.

i am not subscribed to the list, so please put me in CC if there is any question/answer.

greetings
ben





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.