Re: [isabelle] Don’t Make Your Readers Scream

On Tue, 2014-12-16 at 14:31 +0000, Lawrence Paulson wrote:
> We are starting to see calls for papers, so I’ve decided to circulate a
> brief note offering advice on how to get your paper accepted:

This may be slightly off-topic, but my favorite piece of advice for
writing papers is Alan Bundy's guide:


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