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 gmx.de> wrote:
> I just wanted to add that there's now an RSS feed which you can follow
> for updates on new entries:
> On 16.03.2017 15:25, Joachim Breitner wrote:
>> 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,
This archive was generated by a fusion of
Pipermail (Mailman edition) and