Re: [isabelle] Two new AFP entries



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.