Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP modification policy (was: How to avoid x \...


view this post on Zulip Email Gateway (Aug 18 2022 at 16:39):

From: Brian Huffman <brianh@cs.pdx.edu>
A "maintenance changes only" policy seems to be at odds with the
description of this AFP entry:

http://afp.sourceforge.net/entries/FunWithFunctions.shtml

Title: Fun With Functions
Author: Tobias Nipkow
Submission date: 2008-08-26
Abstract: This is a collection of cute puzzles of the form ``Show
that if a function satisfies the following constraints, it must be
...'' Please add further examples to this collection!

So is it acceptable to add further examples to this entry, or not?

view this post on Zulip Email Gateway (Aug 18 2022 at 16:40):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
Hi Brian,

My other email to Joachim hopefully clarifies this already, but the short version for posteriority: it usually will be ok, but only after discussing with the editors and with noting in the public history of the archive.

Tobias' encouragement in the abstract above doesn't mean the added examples should be dropped in silently as maintenance changes. We want them, but we need to know about them. "Normal" people don't have access to the repository, so the question doesn't even arise. They would send in new examples for the collection by email and we can do everything that is necessary. People who have access and could add things themselves only need to let us know about them.

Cheers,
Gerwin


Last updated: Mar 28 2024 at 20:16 UTC