lib/logo/index.html
changeset 4190 e377947fe1ec
parent 3858 0cfd4f97dd32
child 5243 a0688fa916af
equal deleted inserted replaced
4189:b8c7a6bc6c16 4190:e377947fe1ec
    40 
    40 
    41 <h2>Acknowledgment</h2>
    41 <h2>Acknowledgment</h2>
    42 
    42 
    43 The logo is contributed by <a
    43 The logo is contributed by <a
    44 href="http://www.informatik.tu-muenchen.de/~wenzel/">Franziska
    44 href="http://www.informatik.tu-muenchen.de/~wenzel/">Franziska
    45 Wenzel</a>, Munich.  It had been designed on Apple Macintosh. <p>
    45 Wenzel</a>, Munich.  It has been designed on Apple Macintosh. <p>
    46 
    46 
    47 
    47 
    48 <p><hr><p>
    48 <p><hr><p>
    49 
    49 
    50 <a name="plain"><img src="isabelle.gif" alt="[Isabelle logo]"></a> <p>
    50 <a name="plain"><img src="isabelle.gif" alt="[Isabelle logo]"></a> <p>