Admin/page/main-layout/template.html
changeset 13088 56b21879c603
parent 10344 bb0b65380516
child 13816 cc228bd9c1fc
equal deleted inserted replaced
13087:879ac452101e 13088:56b21879c603
    26                   <b>
    26                   <b>
    27                   <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
    27                   <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
    28                   </b>
    28                   </b>
    29                 </td>
    29                 </td>
    30 		<td width="40%" valign="middle" align="center" nowrap>
    30 		<td width="40%" valign="middle" align="center" nowrap>
    31 		  <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
    31 		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
    32 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
    32 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
    33 		   
    33 		   
    34 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    34 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    35 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
    35 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
    36 		</td>
    36 		</td>