split library index into templates
authorhaftmann
Tue Oct 30 10:51:35 2007 +0100 (2007-10-30)
changeset 2523504cb7e02ca38
parent 25234 2e91cc4ddf29
child 25236 54b390300227
split library index into templates
Admin/makedist
lib/Tools/usedir
lib/html/index.html
lib/html/library_index_content.template
lib/html/library_index_footer.template
lib/html/library_index_header.template
     1.1 --- a/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
     1.2 +++ b/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
     1.3 @@ -190,7 +190,7 @@
     1.4    } >ANNOUNCE
     1.5  fi
     1.6  
     1.7 -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
     1.8 +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.html
     1.9  perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version
    1.10  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README
    1.11  
     2.1 --- a/lib/Tools/usedir	Tue Oct 30 10:51:35 2007 +0100
     2.2 +++ b/lib/Tools/usedir	Tue Oct 30 10:51:35 2007 +0100
     2.3 @@ -183,7 +183,7 @@
     2.4  
     2.5  # prepare browser info dir
     2.6  
     2.7 -if [ "$INFO" = "true" -a ! -f "$ISABELLE_BROWSER_INFO/library_index_header.html" ]; then
     2.8 +if [ "$INFO" = "true" -a ! -f "$ISABELLE_BROWSER_INFO/index.html" ]; then
     2.9    mkdir -p "$ISABELLE_BROWSER_INFO"
    2.10    cp "$ISABELLE_HOME/lib/logo/isabelle.gif" "$ISABELLE_BROWSER_INFO/isabelle.gif"
    2.11    cat "$ISABELLE_HOME/lib/html/library_index_header.template" \
     3.1 --- a/lib/html/index.html	Tue Oct 30 10:51:35 2007 +0100
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,76 +0,0 @@
     3.4 -<?xml version="1.0" encoding="iso-8859-1"?>
     3.5 -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
     3.6 -    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
     3.7 -<!-- $Id$ -->
     3.8 -
     3.9 -<html xmlns="http://www.w3.org/1999/xhtml">
    3.10 -<head>
    3.11 -  <meta name="generator" content="HTML Tidy for Linux/x86 (vers 31 October 2006), see www.w3.org" />
    3.12 -  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
    3.13 -
    3.14 -  <title>The {ISABELLE} Library</title>
    3.15 -</head>
    3.16 -
    3.17 -<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
    3.18 -  <center>
    3.19 -    <table width="100%" border="0" cellspacing="10" cellpadding="0">
    3.20 -      <tr>
    3.21 -        <td width="20%" valign="middle" align="center"><a href="http://isabelle.in.tum.de/"><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td>
    3.22 -
    3.23 -        <td width="80%" valign="middle" align="center">
    3.24 -          <table width="90%" border="0" cellspacing="0" cellpadding="20">
    3.25 -            <tr>
    3.26 -              <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
    3.27 -            </tr>
    3.28 -          </table>
    3.29 -        </td>
    3.30 -      </tr>
    3.31 -    </table>
    3.32 -  </center>
    3.33 -  <hr />
    3.34 -
    3.35 -  <ul>
    3.36 -    <li>Higher-Order Logic</li>
    3.37 -
    3.38 -    <li style="list-style: none">
    3.39 -      <ul>
    3.40 -        <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a></li>
    3.41 -
    3.42 -        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a></li>
    3.43 -      </ul>
    3.44 -    </li>
    3.45 -  </ul>
    3.46 -
    3.47 -  <ul>
    3.48 -    <li>First-Order Logic</li>
    3.49 -
    3.50 -    <li style="list-style: none">
    3.51 -      <ul>
    3.52 -        <li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a></li>
    3.53 -
    3.54 -        <li><a href="ZF/index.html">ZF (Set Theory)</a></li>
    3.55 -
    3.56 -        <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a></li>
    3.57 -
    3.58 -        <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a></li>
    3.59 -
    3.60 -        <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a></li>
    3.61 -      </ul>
    3.62 -    </li>
    3.63 -  </ul>
    3.64 -
    3.65 -  <ul>
    3.66 -    <li>Miscellaneous</li>
    3.67 -
    3.68 -    <li style="list-style: none">
    3.69 -      <ul>
    3.70 -        <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li>
    3.71 -
    3.72 -        <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a></li>
    3.73 -
    3.74 -        <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
    3.75 -      </ul>
    3.76 -    </li>
    3.77 -  </ul>
    3.78 -</body>
    3.79 -</html>
     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/lib/html/library_index_content.template	Tue Oct 30 10:51:35 2007 +0100
     4.3 @@ -0,0 +1,44 @@
     4.4 +  <ul>
     4.5 +    <li>Higher-Order Logic</li>
     4.6 +
     4.7 +    <li style="list-style: none">
     4.8 +      <ul>
     4.9 +        <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a></li>
    4.10 +
    4.11 +        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a></li>
    4.12 +      </ul>
    4.13 +    </li>
    4.14 +  </ul>
    4.15 +
    4.16 +  <ul>
    4.17 +    <li>First-Order Logic</li>
    4.18 +
    4.19 +    <li style="list-style: none">
    4.20 +      <ul>
    4.21 +        <li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a></li>
    4.22 +
    4.23 +        <li><a href="ZF/index.html">ZF (Set Theory)</a></li>
    4.24 +
    4.25 +        <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a></li>
    4.26 +
    4.27 +        <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a></li>
    4.28 +
    4.29 +        <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a></li>
    4.30 +      </ul>
    4.31 +    </li>
    4.32 +  </ul>
    4.33 +
    4.34 +  <ul>
    4.35 +    <li>Miscellaneous</li>
    4.36 +
    4.37 +    <li style="list-style: none">
    4.38 +      <ul>
    4.39 +        <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li>
    4.40 +
    4.41 +        <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a></li>
    4.42 +
    4.43 +        <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
    4.44 +      </ul>
    4.45 +    </li>
    4.46 +  </ul>
    4.47 +
     5.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.2 +++ b/lib/html/library_index_footer.template	Tue Oct 30 10:51:35 2007 +0100
     5.3 @@ -0,0 +1,2 @@
     5.4 +</body>
     5.5 +</html>
     6.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     6.2 +++ b/lib/html/library_index_header.template	Tue Oct 30 10:51:35 2007 +0100
     6.3 @@ -0,0 +1,28 @@
     6.4 +<?xml version="1.0" encoding="iso-8859-1"?>
     6.5 +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
     6.6 +    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
     6.7 +<!-- $Id$ -->
     6.8 +
     6.9 +<html xmlns="http://www.w3.org/1999/xhtml">
    6.10 +<head>
    6.11 +  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
    6.12 +  <title>The {ISABELLE} Library</title>
    6.13 +</head>
    6.14 +
    6.15 +<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
    6.16 +  <center>
    6.17 +    <table width="100%" border="0" cellspacing="10" cellpadding="0">
    6.18 +      <tr>
    6.19 +        <td width="20%" valign="middle" align="center"><a href="http://isabelle.in.tum.de/"><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td>
    6.20 +
    6.21 +        <td width="80%" valign="middle" align="center">
    6.22 +          <table width="90%" border="0" cellspacing="0" cellpadding="20">
    6.23 +            <tr>
    6.24 +              <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
    6.25 +            </tr>
    6.26 +          </table>
    6.27 +        </td>
    6.28 +      </tr>
    6.29 +    </table>
    6.30 +  </center>
    6.31 +  <hr />