# HG changeset patch
# User wenzelm
# Date 875535122 -7200
# Node ID 26992736d4713599ff1e609a423f73eb0729467f
# Parent  13f7107676a0ee97f6f9efc2806e43e04525c0d0
fixed href to html library;

diff -r 13f7107676a0 -r 26992736d471 lib/html/index2.html
--- a/lib/html/index2.html	Mon Sep 29 14:11:18 1997 +0200
+++ b/lib/html/index2.html	Mon Sep 29 14:12:02 1997 +0200
@@ -6,7 +6,7 @@
  </H2>
 </center>
 <P>
-<A HREF="../html/index.html">View version for non-Java-capable browsers</A>
+<A HREF="../index.html">View version for non-Java-capable browsers</A>
 <P>
 Click on the logic's name to view the graph of its theories.
 <HR>