equal
deleted
inserted
replaced
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> |