# HG changeset patch
# User wenzelm
# Date 901031905 -7200
# Node ID c677baeac0f70724764d41b25aa38915b7c8e7dc
# Parent adafef6eb2952e584dad908b14216e0d39408cfc
library includes Isabelle version information;
diff -r adafef6eb295 -r c677baeac0f7 Admin/makedist
--- 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
diff -r adafef6eb295 -r c677baeac0f7 lib/html/index1.html
--- 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 @@
-Isabelle Logics
+Isabelle Logics ({ISABELLE})
-View version for Java-capable browsers
+Java-based version including theory graph browser
Click on the logic's name to view a list of its theories.
diff -r adafef6eb295 -r c677baeac0f7 lib/html/index2.html
--- 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 @@
-Isabelle Logics
+Isabelle Logics ({ISABELLE})
-View version for non-Java-capable browsers
+Plain HTML version
Click on the logic's name to view the graph of its theories.