removed index2;
authorwenzelm
Fri May 05 22:24:03 2000 +0200 (2000-05-05)
changeset 8810d0eae42f6d12
parent 8809 85539b33be03
child 8811 6ec0c8f9d68d
removed index2;
Admin/makedist
lib/Tools/usedir
lib/html/index.html
lib/html/index1.html
lib/html/index2.html
     1.1 --- a/Admin/makedist	Fri May 05 22:23:27 2000 +0200
     1.2 +++ b/Admin/makedist	Fri May 05 22:24:03 2000 +0200
     1.3 @@ -157,7 +157,7 @@
     1.4    } >UNOFFICIAL
     1.5  fi
     1.6  
     1.7 -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index1.html lib/html/index2.html
     1.8 +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
     1.9  perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
    1.10  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
    1.11  lynx -dump README.html >README
     2.1 --- a/lib/Tools/usedir	Fri May 05 22:23:27 2000 +0200
     2.2 +++ b/lib/Tools/usedir	Fri May 05 22:24:03 2000 +0200
     2.3 @@ -106,18 +106,15 @@
     2.4  # prepare browser info dir
     2.5  
     2.6  if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then
     2.7 -
     2.8    mkdir -p $ISABELLE_BROWSER_INFO
     2.9    cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/isabelle.gif
    2.10 -  cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html
    2.11 +  cp $ISABELLE_HOME/lib/html/index.html $ISABELLE_BROWSER_INFO/index.html
    2.12  
    2.13    mkdir -p $ISABELLE_BROWSER_INFO/graph
    2.14 -  cp $ISABELLE_HOME/lib/html/index2.html $ISABELLE_BROWSER_INFO/graph/index.html
    2.15    mkdir $ISABELLE_BROWSER_INFO/graph/GraphBrowser
    2.16    mkdir $ISABELLE_BROWSER_INFO/graph/awtUtilities
    2.17    cp $ISABELLE_HOME/lib/browser/GraphBrowser/*.class $ISABELLE_BROWSER_INFO/graph/GraphBrowser
    2.18    cp $ISABELLE_HOME/lib/browser/awtUtilities/*.class $ISABELLE_BROWSER_INFO/graph/awtUtilities
    2.19 -
    2.20  fi
    2.21  
    2.22  
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/lib/html/index.html	Fri May 05 22:24:03 2000 +0200
     3.3 @@ -0,0 +1,60 @@
     3.4 +<html>
     3.5 +
     3.6 +<head><title>The Isabelle Library ({ISABELLE})</title></head>
     3.7 +
     3.8 +<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
     3.9 +
    3.10 +<center>
    3.11 +  <table width="100%" border="0" cellspacing="10" cellpadding="0">
    3.12 +    <tr>
    3.13 +      <td width="20%" valign="middle" align="center">
    3.14 +        <img align=bottom src="isabelle.gif" width="100" height="86" alt="[Isabelle]">
    3.15 +      </td>
    3.16 +      <td width="80%" valign="middle" align="center">
    3.17 +        <table width="90%" border="0" cellspacing="0" cellpadding="20">
    3.18 +          <tr>
    3.19 +            <td valign="middle" align="center" bgcolor="#aacccc">
    3.20 +              <font face="Helvetica,Arial" size="+2">The Isabelle Library</font>
    3.21 +            </td>
    3.22 +          </tr>
    3.23 +        </table>
    3.24 +      </td>
    3.25 +    </tr>
    3.26 +  </table>
    3.27 +</center>
    3.28 +
    3.29 +<hr>
    3.30 +
    3.31 +Higher-Order Logic
    3.32 +
    3.33 +<ul>
    3.34 +<li><a href="HOL/index.html"> HOL (Simply-typed Set Theory)</a>
    3.35 +<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    3.36 +</ul>
    3.37 +
    3.38 +<hr>
    3.39 +
    3.40 +First-Order Logic
    3.41 +
    3.42 +<ul>
    3.43 +<li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
    3.44 +<li><a href="ZF/index.html">ZF (Set Theory)</a>
    3.45 +<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
    3.46 +<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
    3.47 +<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
    3.48 +</ul>
    3.49 +
    3.50 +<hr>
    3.51 +
    3.52 +Miscellaneous
    3.53 +
    3.54 +<ul>
    3.55 +<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
    3.56 +<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
    3.57 +<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
    3.58 +</ul>
    3.59 +
    3.60 +<hr>
    3.61 +
    3.62 +</body>
    3.63 +</html>
     4.1 --- a/lib/html/index1.html	Fri May 05 22:23:27 2000 +0200
     4.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.3 @@ -1,52 +0,0 @@
     4.4 -<html>
     4.5 -
     4.6 -<head><title>Isabelle Logics ({ISABELLE})</title></head>
     4.7 -
     4.8 -<body>
     4.9 -
    4.10 -<center><img src="isabelle.gif" alt="Isabelle"></center>
    4.11 -
    4.12 -<p>
    4.13 -
    4.14 -Switch to <a href="graph/index.html">Java-based</a> version, including
    4.15 -theory graph browser.
    4.16 -
    4.17 -<p>
    4.18 -
    4.19 -Click on the logic's name to view a list of its theories.
    4.20 -
    4.21 -<hr>
    4.22 -
    4.23 -First-Order Logic
    4.24 -
    4.25 -<ul>
    4.26 -<li><a href="FOL/index.html">FOL</a>
    4.27 -<li><a href="ZF/index.html">ZF (Set Theory)</a>
    4.28 -<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
    4.29 -<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
    4.30 -<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
    4.31 -</ul>
    4.32 -
    4.33 -<hr>
    4.34 -
    4.35 -Higher-Order Logic
    4.36 -
    4.37 -<ul>
    4.38 -<li><a href="HOL/index.html">HOL</a>
    4.39 -<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    4.40 -</ul>
    4.41 -
    4.42 -<hr>
    4.43 -
    4.44 -Miscellaneous
    4.45 -
    4.46 -<ul>
    4.47 -<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
    4.48 -<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
    4.49 -<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
    4.50 -</ul>
    4.51 -
    4.52 -<hr>
    4.53 -
    4.54 -</body>
    4.55 -</html>
     5.1 --- a/lib/html/index2.html	Fri May 05 22:23:27 2000 +0200
     5.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.3 @@ -1,51 +0,0 @@
     5.4 -<html>
     5.5 -
     5.6 -<head><title>Isabelle Logics ({ISABELLE})</title></head>
     5.7 -
     5.8 -<body>
     5.9 -
    5.10 -<center><img src="../isabelle.gif" alt="Isabelle"></center>
    5.11 -
    5.12 -<p>
    5.13 -
    5.14 -Switch to <a href="../index.html">plain HTML</a> version.
    5.15 -
    5.16 -<p>
    5.17 -
    5.18 -Click on the logic's name to view the graph of its theories.
    5.19 -
    5.20 -<hr>
    5.21 -
    5.22 -First-Order Logic
    5.23 -
    5.24 -<ul>
    5.25 -<li><a href="data/FOL/medium.html">FOL</a>
    5.26 -<li><a href="data/ZF/medium.html">ZF (Set Theory)</a>
    5.27 -<li><a href="data/CCL/medium.html">CCL (Classical Computational Logic)</a>
    5.28 -<li><a href="data/LCF/medium.html">LCF (Logic of Computable Functions)</a>
    5.29 -<li><a href="data/FOLP/medium.html">FOLP (FOL with Proof Terms)</a>
    5.30 -</ul>
    5.31 -
    5.32 -<hr>
    5.33 -
    5.34 -Higher-Order Logic
    5.35 -
    5.36 -<ul>
    5.37 -<li><a href="data/HOL/medium.html">HOL</a>
    5.38 -<li><a href="data/HOLCF/medium.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    5.39 -</ul>
    5.40 -
    5.41 -<hr>
    5.42 -
    5.43 -Miscellaneous
    5.44 -
    5.45 -<ul>
    5.46 -<li><a href="data/Sequents/medium.html">Sequents (first-order, modal and linear logics)</a>
    5.47 -<li><a href="data/CTT/medium.html">CTT (Constructive Type Theory)</a>
    5.48 -<li><a href="data/Cube/medium.html">Cube (The Lambda Cube)</a>
    5.49 -</ul>
    5.50 -
    5.51 -<hr>
    5.52 -
    5.53 -</body>
    5.54 -</html>