Re: [isabelle] Fresh Install?
On Wed, 29 Feb 2012, Jens Doll wrote:
$ isabelle make
cygpath: can't convert empty path
This one looks already odd. You can get a bash trace by putting the
command "set -x" close to the start of Isabelle2011-1/bin/isabelle and
then run the above again.
Unknown logic "HOL" -- no heap file found in:
polyml-undefined means that the poly executable could not be run (within
its proper process environment provided by Isabelle). Do you actually
have polyml as part of the official
The latter also includes Isabelle/HOL prebuilt. Nothing left to do, apart
from saturating Cygwin packages as described on
This archive was generated by a fusion of
Pipermail (Mailman edition) and