[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
makarius at sketis.net
Tue May 29 14:21:31 CEST 2012
On Tue, 29 May 2012, Makarius wrote:
> * Admin/contributed_components within the repository documents
> semi-formally which components may be included into a certain version.
> The mira experts should be able to say more about the current used of
> that file in the testing framework.
Here is a simple way to make Admin/contributed_components formal right
now, concerning "the" repository version within the TUM NFS.
The following is for my own home directory at TUM:
.isabelle/etc/components -> /home/wenzelm/isabelle/repos/Admin/contributed_components
.isabelle/contrib -> /home/isabelle/contrib
This achieves the effect of versioned symlinks: the repository says which
directories to take from the physical file-system. This assumes that the
component name-version scheme in the file-system is really authentic. In
the past we have occasionally updated components without bumping the
version, but it might be not that critical after all.
More information about the isabelle-dev