[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).

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de



More information about the isabelle-dev mailing list