[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
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:
/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
More information about the isabelle-dev