Re: [isabelle] Warning: Usage of deprecated font command

> On Wed, 7 May 2014, Lars Hupel wrote:
>> [0] (German only, unfortunately) <>

It's been translated :-)

> I did not know this document yet, which is indeed quite interesting and funny, especially concerning the truly deadly sin of a4.sty and a4wide.sty.

Indeed ….

Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero at TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin

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