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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
