adding the Proof General preview
Thu, 21 Apr 2005 13:15:25 +0200
changeset 15788 ebcbffebdf97
parent 15787 8fad4bd4e53c
child 15789 4cb16144c81b
adding the Proof General preview
Binary file Admin/page/main-content/PG-preview.pdf has changed
--- 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="">preview</a> demonstrating Isabelle and Proof
+General is provided in 
+<a href="">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,