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

[Tjark Weber]

On Wed, 2012-06-27 at 18:14 +0200, Alexander Krauss wrote:
> 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.

Directories would be more amenable to version control than tarballs, if
that makes a difference.

Best regards,
Tjark