adding the Proof General preview
authorpaulson
Thu Apr 21 13:15:25 2005 +0200 (2005-04-21)
changeset 15788ebcbffebdf97
parent 15787 8fad4bd4e53c
child 15789 4cb16144c81b
adding the Proof General preview
Admin/page/main-content/PG-preview.pdf
Admin/page/main-content/overview.content
     1.1 Binary file Admin/page/main-content/PG-preview.pdf has changed
     2.1 --- a/Admin/page/main-content/overview.content	Thu Apr 21 10:05:06 2005 +0200
     2.2 +++ b/Admin/page/main-content/overview.content	Thu Apr 21 13:15:25 2005 +0200
     2.3 @@ -38,6 +38,11 @@
     2.4  General</a> user interface, which eases the task of writing and
     2.5  maintaining proof scripts. </p>
     2.6  
     2.7 +A hyperlinked <a href="PG-preview.mov">preview</a> demonstrating Isabelle and Proof
     2.8 +General is provided in 
     2.9 +<a href="http://www.apple.com/quicktime/download/">QuickTime format</a>, 
    2.10 +and also as a non-hyperlinked <a href="PG-preview.pdf">PDF file</a>.
    2.11 +
    2.12  <p>Isabelle comes with large theories of formally verified
    2.13  mathematics, including elementary number theory (for example, Gauss's
    2.14  law of quadratic reciprocity), analysis (basic properties of limits,