[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

Alexander Krauss krauss at in.tum.de
Wed Jun 27 18:14:56 CEST 2012


On 06/27/2012 02:03 PM, Makarius wrote:
> On Wed, 27 Jun 2012, Florian Haftmann wrote:
>
>> Not sure what the status of Ā»/home/isabelle/public_componentsĀ« is.
>
> See also this thread on the same topic:
> http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg02157.html

/home/isabelle/public_components was my (incomplete) attempt to solve 
the remote distribution problem, while /home/isabelle/contrib now solves 
the local distribution problem.

Currently the difference is that public_components contains tarballs 
(not suitable for in-place use), whereas contrib contains directories 
(not suitable for download via HTTP/wget: slow, and file permissions 
would get lost). I think we actually need to keep the content in both 
formats, but one directory should be automatically generated from the other.

Which one should be the master? Intuitively, I like the mindset "1 
component = 1 package = 1 tarball", but regarding the directories as the 
master and using tarballs as a mere distribution mechanism is equally 
valid IMO.

Alex



More information about the isabelle-dev mailing list