Admin/website/overview.html
changeset 16246 d79cd3e38ca7
parent 16240 95cc0e8f8a17
child 16247 8691680a1922
equal deleted inserted replaced
16245:bad9d73aa063 16246:d79cd3e38ca7
    75       eases the task of writing and maintaining proof scripts.</p>
    75       eases the task of writing and maintaining proof scripts.</p>
    76       <br clear="all" />
    76       <br clear="all" />
    77 
    77 
    78       <h2>Preview</h2>
    78       <h2>Preview</h2>
    79 
    79 
    80       <p>We provide a <a href="PG-preview.mov">hyperlinked preview</a> demonstrating
    80       <p>We provide a <a href="//media/PG-preview.mov">hyperlinked preview</a> demonstrating
    81       Isabelle and ProofGeneral, in <a href="http://www.apple.com/quicktime/download/">QuickTime
    81       Isabelle and ProofGeneral, in <a href="http://www.apple.com/quicktime/download/">QuickTime
    82       format</a>, and also as a <a href="PG-preview.pdf">non-hyperlinked preview</a> in PDF.</p>
    82       format</a>, and also as a <a href="//media/PG-preview.pdf">non-hyperlinked preview</a> in PDF.</p>
    83     
    83     
    84       <p>Ample <a href="dist/documentation.html">documentation</a> is available
    84       <p>Ample <a href="dist/documentation.html">documentation</a> is available
    85       about using Isabelle and its inner concepts, including a
    85       about using Isabelle and its inner concepts, including a
    86       <a href="http://www4.in.tum.de/~nipkow/LNCS2283/">Tutorial</a> published by
    86       <a href="http://www4.in.tum.de/~nipkow/LNCS2283/">Tutorial</a> published by
    87       Springer-Verlag.</p>
    87       Springer-Verlag.</p>