Re: [isabelle] HOLCF equality

Am 09/07/2012 23:00, schrieb Makarius:
> 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.

In addition it has a change history which needs to be updated and resides not in
the individual entry but in the central database.


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