Re: [isabelle] Two new AFP entries



And a twitter account @isaprover ;-)

I do take the point, though, that it slightly decreases exposure for multiple entries (these two by the same author). 

Cheers,
Gerwin

> On 17.03.2017, at 01:47, Max Haslbeck <max.haslbeck at gmx.de> wrote:
> 
> Hi,
> 
> I just wanted to add that there's now an RSS feed which you can follow
> for updates on new entries:
> <https://www.isa-afp.org/rss.xml>
> 
> GruÃ
> Max
> 
> 
> On 16.03.2017 15:25, Joachim Breitner wrote:
>> Hi,
>> 
>> I find âNew in the AFP: ââ subjects much more helpful than
>> â$n$ new AFP entriesâ, and it seems to be a bit unfair that some AFP
>> entries get less promotion just because they happen to be accepted
>> together with others. Why not announce each entry individually? I think
>> nobody would mind the few extra mails.
>> 
>> Greetings from Philly,
>> Joachim
>> 
> 



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