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
