[isabelle-dev] Relations vs. Predicates
florian.haftmann at informatik.tu-muenchen.de
Tue Apr 3 09:48:02 CEST 2012
> 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).
More information about the isabelle-dev