# HG changeset patch
# User berghofe
# Date 876686760 -7200
# Node ID 7fde09d61bc038fed1fe60b3e29171afeec81822
# Parent 7704dc8997ed7a78a276e0ac47b8b004ca66a097
Changed logo.
diff -r 7704dc8997ed -r 7fde09d61bc0 lib/html/index1.html
--- a/lib/html/index1.html Sun Oct 12 22:04:06 1997 +0200
+++ b/lib/html/index1.html Sun Oct 12 22:06:00 1997 +0200
@@ -1,9 +1,6 @@
Isabelle Logics
-
- 
- The Logical Choice!
-
+ 
View version for Java-capable browsers
diff -r 7704dc8997ed -r 7fde09d61bc0 lib/html/index2.html
--- a/lib/html/index2.html Sun Oct 12 22:04:06 1997 +0200
+++ b/lib/html/index2.html Sun Oct 12 22:06:00 1997 +0200
@@ -1,9 +1,6 @@
Isabelle Logics
-
- 
- The Logical Choice!
-
+ 
View version for non-Java-capable browsers