equal
deleted
inserted
replaced
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> |