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 MHonArc.