# HG changeset patch
# User paulson
# Date 1114082125 -7200
# Node ID ebcbffebdf973430c1beaf9f42f2c3acb85587b5
# Parent  8fad4bd4e53cf227e86c5f78330148aba1970b5e
adding the Proof General preview

diff -r 8fad4bd4e53c -r ebcbffebdf97 Admin/page/main-content/PG-preview.pdf
Binary file Admin/page/main-content/PG-preview.pdf has changed
diff -r 8fad4bd4e53c -r ebcbffebdf97 Admin/page/main-content/overview.content
--- a/Admin/page/main-content/overview.content	Thu Apr 21 10:05:06 2005 +0200
+++ b/Admin/page/main-content/overview.content	Thu Apr 21 13:15:25 2005 +0200
@@ -38,6 +38,11 @@
 General</a> user interface, which eases the task of writing and
 maintaining proof scripts. </p>
 
+A hyperlinked <a href="PG-preview.mov">preview</a> demonstrating Isabelle and Proof
+General is provided in 
+<a href="http://www.apple.com/quicktime/download/">QuickTime format</a>, 
+and also as a non-hyperlinked <a href="PG-preview.pdf">PDF file</a>.
+
 <p>Isabelle comes with large theories of formally verified
 mathematics, including elementary number theory (for example, Gauss's
 law of quadratic reciprocity), analysis (basic properties of limits,