etc/icons/isabelle-icon-medium.html
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 1966 f2a87600af5c
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
     1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
     2 <html>
     3 <head>
     4   <meta content="text/html; charset=ISO-8859-1"
     5  http-equiv="content-type">
     6   <title>isac-icon-medium</title>
     7 </head>
     8 <body>
     9 <table style="text-align: left; width: 321px; height: 533px;" border="0"
    10  cellpadding="2" cellspacing="2">
    11   <tbody>
    12     <tr>
    13       <td style="vertical-align: top;"><br>
    14       <br>
    15       <br>
    16       <br>
    17       <img style="width: 309px; height: 265px;" alt="Isabelle-icon"
    18  src="file:///netshares/staffhomes/wneuper/del_graz/isabelle-icon.gif"><br>
    19       <div style="text-align: right;"><strong><big><big><big><big><small><small><small><small>&nbsp;</small></small></small></small></big></big></big></big></strong><br>
    20       <small><strong><big><big><big><big>
    21       <span style="font-weight: bold; font-style: italic;">for
    22 Transparent&nbsp; &nbsp;&nbsp; </span></big></big></big></big></strong></small><br
    23  style="font-weight: bold; font-style: italic;">
    24       <strong style="font-weight: bold; font-style: italic;">
    25       </strong><big style="font-weight: bold; font-style: italic;"><big><strong><big>Software
    26 in&nbsp; &nbsp;&nbsp; </big></strong></big></big><br
    27  style="font-weight: bold; font-style: italic;">
    28       <big style="font-weight: bold; font-style: italic;"><big><strong><big>
    29       </big></strong><strong><big>Applied &nbsp; &nbsp; </big></strong></big></big><br
    30  style="font-weight: bold; font-style: italic;">
    31       <big><big><strong><big><big>
    32       </big><span style="font-style: italic;">Mathematics&nbsp;
    33 &nbsp;&nbsp; </span></big></strong><big style="font-style: italic;"><strong></strong></big></big></big><br
    34  style="font-style: italic;">
    35       </div>
    36       <strong style="font-style: italic;"><br>
    37       </strong><br>
    38       </td>
    39     </tr>
    40   </tbody>
    41 </table>
    42 <br>
    43 </body>
    44 </html>