Re: [isabelle] Two new AFP entries



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

-- 
Joachim Breitner
Post-Doctoral researcher
http://cis.upenn.edu/~joachim

Attachment: signature.asc
Description: This is a digitally signed message part



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