diff -r bad9d73aa063 -r d79cd3e38ca7 Admin/website/overview.html --- a/Admin/website/overview.html Sat Jun 04 22:34:30 2005 +0200 +++ b/Admin/website/overview.html Sat Jun 04 22:38:40 2005 +0200 @@ -77,9 +77,9 @@

Preview

-

We provide a hyperlinked preview demonstrating +

We provide a hyperlinked preview demonstrating Isabelle and ProofGeneral, in QuickTime - format, and also as a non-hyperlinked preview in PDF.

+ format, and also as a non-hyperlinked preview in PDF.

Ample documentation is available about using Isabelle and its inner concepts, including a