[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
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and