Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/html/index2.html
changeset 5169 c677baeac0f7
parent 3845 7fde09d61bc0
child 5173 5e68e3cb1f60 
--- a/lib/html/index2.html	Tue Jul 21 12:12:52 1998 +0200
+++ b/lib/html/index2.html	Tue Jul 21 16:38:25 1998 +0200
@@ -1,9 +1,9 @@
-<HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
+<HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>
 <center>
  <img src="../gif/isabelle.gif"><P>
 </center>
 <P>
-<A HREF="../index.html">View version for non-Java-capable browsers</A>
+<A HREF="../index.html">Plain HTML version</A>
 <P>
 Click on the logic's name to view the graph of its theories.
 <HR>
isabelle