Re: [isabelle] Isabelle 2012 on Win7



Hello Yannick and all,

thanks for the hint. So I did this

>cd
changed to ~
>/Isa*/bin/isabelle mkdir MyTheo
... that created the directory and some stuff, also the makefile IsaMakefile
... then I created my myth.thy in ../MyTheo and tried to do a make

> /Isa*/bin/isabelle make
Running HOL-MyTheo ...
Unknown logic "HOL" -- no heap file found in:
  /cygdrive/c/Users/Jens/.isabelle/Isabelle2012/heaps/polyml-undefined_x86-cygwin
  /Isabelle2012/heaps/polyml-undefined_x86-cygwin
HOL-MyTheo FAILED


What is this about? I thought it had been solved?
Jens


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