Admin/website/include/htmlheader.include.html
changeset 16271 5aba3dc670e8
parent 16239 5be516f79075
child 17563 abb280dd3431
equal deleted inserted replaced
16270:4280d6bbc1bb 16271:5aba3dc670e8
    14     <!-- advanced print styles -->
    14     <!-- advanced print styles -->
    15     <link rel="stylesheet" type="text/css" media="print" href="//dist/css/isabelle_print.css"/>
    15     <link rel="stylesheet" type="text/css" media="print" href="//dist/css/isabelle_print.css"/>
    16     <link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
    16     <link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
    17     <meta name="language" content="en"/>
    17     <meta name="language" content="en"/>
    18     <meta name="robots" content="index follow"/>
    18     <meta name="robots" content="index follow"/>
    19     <meta name="author" content="Florian Haftmann" />
    19     <meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />
    20 </dummy:wrapper>
    20 </dummy:wrapper>