Re: [isabelle] New: AFP index
Serguei Mokhov wrote:
> On Mon, Apr 12, 2010 at 2:15 AM, Tobias Nipkow <nipkow at in.tum.de> wrote:
>> The Archive of Formal Proofs now has a 69 entries
>> http://afp.sourceforge.net/. We have now added a topic-oriented index to
>> the entries http://afp.sourceforge.net/topics.shtml to allow you to
>> locate relevant entries quickly. Please give us your feedback:
>> - Do you find the index helpful?
> That is a definitively a good idea. Quite helpful indeed!
>> - Would you structure it differently?
> Probably not, but rather, as I suggested long time ago,
> I would have liked to see the AFP also indexed by DBLP,
> especially now that AFP has an ISSN, but at the time
> it seemed it was not in favor to do so; would that be
Yes. There is a good chance that this will happen, but for technical
reasons only next year.
This archive was generated by a fusion of
Pipermail (Mailman edition) and