# HG changeset patch
# User wenzelm
# Date 901100012 -7200
# Node ID c51961c75921586394de7ef163a1a38038c0aedb
# Parent 5e68e3cb1f604bb961ce51bbe088a026b1bdb8f1
tuned;
diff -r 5e68e3cb1f60 -r c51961c75921 lib/html/index1.html
--- 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 @@
-Switch to Java-based version including theory graph browser. +Switch to Java-based version, including theory graph browser.
Click on the logic's name to view a list of its theories.