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

Tjark Weber webertj at in.tum.de
Thu Jun 28 11:57:15 CEST 2012

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,

More information about the isabelle-dev mailing list