Re: [isabelle] HOLCF equality



On Mon, 9 Jul 2012, Tobias Nipkow wrote:

Am 09/07/2012 15:04, schrieb Brian Huffman:
Maybe using the distribution is better; as an "archive", the AFP seems not to be intended so much for dynamic, growing works with open authorship.

The distribution is more lightweight than the AFP. But in either case the set of people that can add contributions will be restricted.

After several successful years of AFP, this question is still coming up routinely, and I wonder myself often.

Can the official AFP editors make some more explicit statements on the AFP website what it really is? What are the official policies to grow it? Will new versions of articles replace old ones, keeping the name or changing the name? Etc. etc.

For example, JinjaThreads seems to have been a perfectly dynamic entry in all these years, without any archival character beyond the Mercurial history.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.