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 @@
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