Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 21 Jul 1998 17:57:07 +0200
changeset 5173 5e68e3cb1f60
parent 5172 0af867c248ee
child 5174 c51961c75921
tuned;
lib/html/index1.html file | annotate | diff | comparison | revisions
lib/html/index2.html file | annotate | diff | comparison | revisions 
--- 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 @@
  <img src="gif/isabelle.gif"><P>
 </center>
 <P>
-<A HREF="graph/index.html">Java-based version including theory graph browser</A>
+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>
--- a/lib/html/index2.html	Tue Jul 21 17:30:13 1998 +0200
+++ b/lib/html/index2.html	Tue Jul 21 17:57:07 1998 +0200
@@ -3,7 +3,7 @@
  <img src="../gif/isabelle.gif"><P>
 </center>
 <P>
-<A HREF="../index.html">Plain HTML version</A>
+Switch to <A HREF="../index.html">plain HTML</A> version.
 <P>
 Click on the logic's name to view the graph of its theories.
 <HR>
isabelle