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
> reconsidered?

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

Tobias

> 
>> Thanks,
>> Tobias
> 






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