<html>
  <head>
    <meta content="text/html; charset=ISO-8859-15"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Il 14/10/2012 13:02, Stefan Löffler ha
      scritto:<br>
    </div>
    <blockquote cite="mid:507A9BDC.2040303@gmail.com" type="cite">
      <meta content="text/html; charset=ISO-8859-15"
        http-equiv="Content-Type">
      <div class="moz-cite-prefix">Hi,<br>
        <br>
        On 2012-09-19 20:48, Antonio Macrì wrote:<br>
      </div>
      <blockquote cite="mid:505A1393.3040103@gmail.com" type="cite">
        <meta http-equiv="content-type" content="text/html;
          charset=ISO-8859-15">
        <font size="-1"><font face="Verdana">TeXworks translates
            IsoLatin5 to ISO-8859-5 and IsoLatin9 to ISO-8859-9. I
            believe it's wrong, since Latin5 is ISO-8859-9 and Latin9 is
            ISO-8859-15 (I think TeXshop means LatinX by IsoLatinX).<br>
            <br>
            <br>
            % !TeX encoding = Latin5     --> status bar shows
            ISO-8859-9  (OK)<br>
            % !TeX encoding = IsoLatin5  --> status bar shows
            ISO-8859-5  (wrong?)<br>
            % !TeX encoding = Latin9     --> status bar shows
            ISO-8859-15 (OK)<br>
            % !TeX encoding = IsoLatin9  --> status bar shows
            ISO-8859-9  (wrong?)<br>
          </font></font></blockquote>
      <br>
      Thanks for pointing this out. This is quite old code (written by
      Jonathan, I presume), so I don't know if there was a reason for
      doing it this way or not. I guess the best would be if someone
      could open the attached file in TeXShop and send me a screenshot
      of the result - then we can be sure, at least in terms of
      compatibility with TeXShop.<br>
      <br>
      Cheers,<br>
      Stefan<br>
    </blockquote>
    <br>
    Hi Stefan,<br>
    I'm sorry, but I do not have a Mac.<br>
    <br>
    Antonio<br>
  </body>
</html>