# HG changeset patch
# User webertj
# Date 1110220864 -3600
# Node ID 513aa9a3a26dd46797051f3baa1a31b685fb75d7
# Parent 3478bb4f93ff5a3d7519d55b06e0f25c42365b79
HTML 4.01 Transitional conformity
diff -r 3478bb4f93ff -r 513aa9a3a26d lib/html/index.html
--- a/lib/html/index.html Mon Mar 07 19:30:53 2005 +0100
+++ b/lib/html/index.html Mon Mar 07 19:41:04 2005 +0100
@@ -1,6 +1,13 @@
+
+
+
+
-The Isabelle Library ({ISABELLE})
+
+
+ The Isabelle Library ({ISABELLE})
+
diff -r 3478bb4f93ff -r 513aa9a3a26d lib/logo/index.html
--- a/lib/logo/index.html Mon Mar 07 19:30:53 2005 +0100
+++ b/lib/logo/index.html Mon Mar 07 19:41:04 2005 +0100
@@ -1,10 +1,12 @@
+
+
+
-
-
-The Isabelle Logo
+
+ The Isabelle Logo
@@ -54,18 +56,14 @@
![[Isabelle logo]](isabelle.gif)
-
Note: This may look bad on
-black and white displays.
+ Note: This may look bad on
+black and white displays.
-![[Isabelle logo
-(ZF)]](isabelle_zf.gif)
+
-![[Isabelle logo
-(HOL)]](isabelle_hol.gif)
+
-![[Isabelle logo
-(HOLCF)]](isabelle_holcf.gif)
+