[isabelle] Isabelle 2012 on Win7



Hello all,

I now have a CygWin installation with the Isabelle2012 directory copied
to it's root.
Then I called 'isabelle mkdir MyTheo' and found the directory MyTheo
(somewhere).
Afterwards I created a simple theory myth.thy in that directory and
tried to build it by calling 'isabelle make'.
I got a message of a missing Isamake file.

My two questions are:

a) Why is the makefile needed?
b) Which is the most simple makefile here?

Jens






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