On Tue, 17 Nov 2009, Tjark Weber wrote:
> 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.
Actually, we do have an explicit README_REPOSITORY, which tells about this
in the end (among other, more fundamental things).
"Using" a repository clone is even more challenging than "using" a
development snapshot. It is basically expected that you make yourself an
expert of various technicalities.
Makarius
