diff -r 0af867c248ee -r 5e68e3cb1f60 lib/html/index1.html --- a/lib/html/index1.html Tue Jul 21 17:30:13 1998 +0200 +++ b/lib/html/index1.html Tue Jul 21 17:57:07 1998 +0200 @@ -3,7 +3,7 @@

-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.