Re: [isabelle] New: AFP index

Serguei Mokhov wrote:
> On Mon, Apr 12, 2010 at 2:15 AM, Tobias Nipkow <nipkow at> wrote:
>> The Archive of Formal Proofs now has a 69 entries
>> We have now added a topic-oriented index to
>> the entries 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
> reconsidered?

Yes. There is a good chance that this will happen, but for technical
reasons only next year.


>> Thanks,
>> Tobias

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