Re: [isabelle] Isabelle 2012 on Win7

Hello Yannick and all,

thanks for the hint. So I did this

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:

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

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