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). 


> On 17.03.2017, at 01:47, Max Haslbeck <max.haslbeck at> wrote:
> Hi,
> I just wanted to add that there's now an RSS feed which you can follow
> for updates on new entries:
> <>
> 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.