diff -r 57d4c33c5184 -r 15d5f8e729fe Admin/website/index.html
--- a/Admin/website/index.html Tue Jun 28 11:55:30 2005 +0200
+++ b/Admin/website/index.html Tue Jun 28 11:55:30 2005 +0200
@@ -96,7 +96,7 @@
sub/superscripts allowed in identifiers.
-
[Complete Changelog]
+[Complete Changelog]
Download
@@ -104,7 +104,7 @@
The Isabelle distribution is available
from several mirror sites. It includes
source and binary packages and browsable documentation. You can also
-browse the Isabelle theory library
+browse the Isabelle theory library
online.