etc/icons/isabelle-icon-large.html
author Walther Neuper <walther.neuper@jku.at>
Wed, 14 Apr 2021 07:53:55 +0200
changeset 5240 0b946345a015
parent 1966 f2a87600af5c
permissions -rw-r--r--
investigate ERROR can not create registry: Port already in use: 1097

note: update also isac/properties/ObjectManager.properties:
OBJECT_MANAGER_PORT=1097
which does NOT help.
     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-large</title>
     7 </head>
     8 <body>
     9 <table style="text-align: left; height: 769px; width: 421px;" 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       <br>
    18       <br>
    19       <img style="width: 385px; height: 332px;" alt="Isabelle-icon"
    20  src="file:///netshares/staffhomes/wneuper/del_graz/isabelle-icon.gif"><br>
    21       <br>
    22       <div style="text-align: right;"><strong><big><big><big><big><span
    23  style="font-weight: bold; font-style: italic;">for Transparent&nbsp;
    24 &nbsp;&nbsp; </span></big></big></big></big></strong><big><br
    25  style="font-weight: bold; font-style: italic;">
    26       <strong style="font-weight: bold; font-style: italic;"></strong><big
    27  style="font-weight: bold; font-style: italic;"><big><strong><big>Software
    28 in&nbsp; &nbsp;&nbsp; </big></strong></big></big><br
    29  style="font-weight: bold; font-style: italic;">
    30       <big style="font-weight: bold; font-style: italic;"><big><strong><big></big></strong><strong><big>Applied
    31 &nbsp; &nbsp; </big></strong></big></big><br
    32  style="font-weight: bold; font-style: italic;">
    33       </big>
    34       <big><big><big style="font-style: italic;"><strong><big><big>
    35       </big><span style="font-style: italic;">Mathematics&nbsp;
    36 &nbsp;&nbsp; </span></big></strong><strong></strong></big></big></big><br
    37  style="font-style: italic;">
    38       </div>
    39       <strong style="font-style: italic;"><br>
    40       </strong><br>
    41       </td>
    42     </tr>
    43   </tbody>
    44 </table>
    45 <br>
    46 </body>
    47 </html>