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

[Tjark Weber]

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
http://www4.in.tum.de/~ballarin/isabelle/repository.html).

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

Best,
Tjark