Re: [isabelle] Had a problem for last 2 weeks that have kept me from running isabelle
thank you both
On Mon, Sep 27, 2010 at 10:09 AM, Makarius <makarius at sketis.net> wrote:
> On Fri, 24 Sep 2010, Jeffrey Smith (Faculty) wrote:
> > I have directories ProofGen.1 and ProofGeneral-22.214.171.124 under
> > $ISABELLE_HOME/contrib but not ProofGeneral)" no matter was I set
> > PROOFGENERAL_HOME to I get the same error.
> > I am trying to do the install under cygwin
> The above looks like a casualty caused by some Windows tool for unpacking
> the Isabelle .tar.gz --- ProofGeneral should be a symlink to
> ProofGeneral-126.96.36.199 according to the Cygwin interpretation of the file
> space. Use tar from the Cygwin command line exclusively.
This archive was generated by a fusion of
Pipermail (Mailman edition) and