Admin/website/overview.html
changeset 16416 6061ae1f90f2
parent 16296 f05c81817ec6
child 16584 991ecdd985d9
equal deleted inserted replaced
16415:d4e2f121e219 16416:6061ae1f90f2
    33 
    33 
    34       <p>Isabelle is a joint project between Lawrence C. Paulson
    34       <p>Isabelle is a joint project between Lawrence C. Paulson
    35       (University of Cambridge, UK) and Tobias Nipkow (Technical
    35       (University of Cambridge, UK) and Tobias Nipkow (Technical
    36       University of Munich, Germany).</p>
    36       University of Munich, Germany).</p>
    37 
    37 
    38       <h2>Preview on Isabelle</h2>
    38       <h2>Preview of Isabelle</h2>
    39 
    39 
    40         <a href="//media/pg_preview.mov">
    40         <a href="//media/pg_preview.mov">
    41             <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "
    41             <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "
    42                 width="250" height="277" />
    42                 width="250" height="277" />
    43         </a>
    43         </a>