[isabelle] missing link in isabelle installation files


during the installation of isabelle following the instructions on
i ran into the following problem:

after starting Isabelle, when trying to charge the first lines
 theory Vect
i had the error message
Unknown logic "HOL" -- no heap file found in:

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.


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