Re: [isabelle] Isabelle/Isar/HOL TeX logo



Le Sun, 12 Aug 2012 08:44:13 +0200, Yannick Duchêne (Hibou57) <yannick_duchene at yahoo.fr> a écrit:

       \hbox{\textsmaller[3]{\textit{#2}}}%

Forget to mention “\textsmaller” requires to “\usepackage{relsize}”.

--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University






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