Re: [isabelle] Two new AFP entries


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