<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 20 March 2015 at 17:48, André Pirard <span dir="ltr"><<a href="mailto:A.Pirard.Papou@gmail.com" target="_blank">A.Pirard.Papou@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF"><tt><br>
    </tt><tt>historic=1200     (for precise minds</tt><tt>)</tt>
  
    
  
  </div><br></blockquote><div>This use of the "historic" tag is new to me. Where is it defined?<br><br></div><div>Volker <br></div></div><br></div></div>