[isabelle-dev] Relations vs. Predicates

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Tue Apr 3 09:48:02 CEST 2012

Hi Christian,

> Sorry, I'm not familiar with the "developer" workflow. I do have a
> cloned hg repo of Isabelle (from
> http://isabelle.in.tum.de/repos/isabelle), but I don't see an
> IsaMakefile (which would be required for "isabelle make all"). Where is
> this IsaMakefile located?

it is Ā»isabelle makeall allĀ« (sorry, this was my fault).



PGP available:

More information about the isabelle-dev mailing list