tuned;

--- a/lib/html/index1.html	Tue Jul 21 17:57:07 1998 +0200
+++ b/lib/html/index1.html	Wed Jul 22 11:33:32 1998 +0200
@@ -3,7 +3,7 @@
  <img src="gif/isabelle.gif"><P>
 </center>
 <P>
-Switch to <A HREF="graph/index.html">Java-based</A> version including theory graph browser.
+Switch to <A HREF="graph/index.html">Java-based</A> version, including theory graph browser.
 <P>
 Click on the logic's name to view a list of its theories.
 <HR>