[isabelle-dev] Error message "Failed to prepare dependency graph"

Tjark Weber webertj at in.tum.de
Tue Nov 17 15:37:33 CET 2009

On Tue, 2009-11-17 at 15:18 +0100, Makarius wrote:
> A repository clone is not a proper distribution, and various parts are 
> missing.  The Admin/build script helps to fill these gaps, notably 
> Admin/build browser

Clemens used to maintain a web page with installation instructions for
the repository version of Isabelle (at

Unfortunately, this page is now outdated.  Still, the idea seems useful
to me.


More information about the isabelle-dev mailing list