--- a/Admin/makedist Tue Jul 21 12:12:52 1998 +0200
+++ b/Admin/makedist Tue Jul 21 16:38:25 1998 +0200
@@ -182,7 +182,7 @@
s/{PACKED_SIZE}/$PACKED_SIZE/g; \
s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
s/{AUTHOR}/$LOGNAME/g; \
- s/{DATE}/$DATE/g;" index.html
+ s/{DATE}/$DATE/g;" index.html $DISTNAME/lib/html/index1.html $DISTNAME/lib/html/index2.html
# final note
--- a/lib/html/index1.html Tue Jul 21 12:12:52 1998 +0200
+++ b/lib/html/index1.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="graph/index.html">View version for Java-capable browsers</A>
+<A HREF="graph/index.html">Java-based version including theory graph browser</A>
<P>
Click on the logic's name to view a list of its theories.
<HR>
--- 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>