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?