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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev