# HG changeset patch # User wenzelm # Date 957558243 -7200 # Node ID d0eae42f6d12a31924efd4095a7493cc55b10c1b # Parent 85539b33be03910346fe533878c4f89e31654629 removed index2; diff -r 85539b33be03 -r d0eae42f6d12 Admin/makedist --- a/Admin/makedist Fri May 05 22:23:27 2000 +0200 +++ b/Admin/makedist Fri May 05 22:24:03 2000 +0200 @@ -157,7 +157,7 @@ } >UNOFFICIAL fi -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index1.html lib/html/index2.html +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html lynx -dump README.html >README diff -r 85539b33be03 -r d0eae42f6d12 lib/Tools/usedir --- a/lib/Tools/usedir Fri May 05 22:23:27 2000 +0200 +++ b/lib/Tools/usedir Fri May 05 22:24:03 2000 +0200 @@ -106,18 +106,15 @@ # prepare browser info dir if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then - mkdir -p $ISABELLE_BROWSER_INFO cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/isabelle.gif - cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html + cp $ISABELLE_HOME/lib/html/index.html $ISABELLE_BROWSER_INFO/index.html mkdir -p $ISABELLE_BROWSER_INFO/graph - cp $ISABELLE_HOME/lib/html/index2.html $ISABELLE_BROWSER_INFO/graph/index.html mkdir $ISABELLE_BROWSER_INFO/graph/GraphBrowser mkdir $ISABELLE_BROWSER_INFO/graph/awtUtilities cp $ISABELLE_HOME/lib/browser/GraphBrowser/*.class $ISABELLE_BROWSER_INFO/graph/GraphBrowser cp $ISABELLE_HOME/lib/browser/awtUtilities/*.class $ISABELLE_BROWSER_INFO/graph/awtUtilities - fi diff -r 85539b33be03 -r d0eae42f6d12 lib/html/index.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/html/index.html Fri May 05 22:24:03 2000 +0200 @@ -0,0 +1,60 @@ + + +The Isabelle Library ({ISABELLE}) + + + +
+ + + + + +
+ [Isabelle] + + + + + +
+ The Isabelle Library +
+
+
+ +
+ +Higher-Order Logic + + + +
+ +First-Order Logic + + + +
+ +Miscellaneous + + + +
+ + + diff -r 85539b33be03 -r d0eae42f6d12 lib/html/index1.html --- a/lib/html/index1.html Fri May 05 22:23:27 2000 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,52 +0,0 @@ - - -Isabelle Logics ({ISABELLE}) - - - -
Isabelle
- -

- -Switch to Java-based version, including -theory graph browser. - -

- -Click on the logic's name to view a list of its theories. - -

- -First-Order Logic - - - -
- -Higher-Order Logic - - - -
- -Miscellaneous - - - -
- - - diff -r 85539b33be03 -r d0eae42f6d12 lib/html/index2.html --- a/lib/html/index2.html Fri May 05 22:23:27 2000 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,51 +0,0 @@ - - -Isabelle Logics ({ISABELLE}) - - - -
Isabelle
- -

- -Switch to plain HTML version. - -

- -Click on the logic's name to view the graph of its theories. - -

- -First-Order Logic - - - -
- -Higher-Order Logic - - - -
- -Miscellaneous - - - -
- - -