The {ISABELLE} Library

# HG changeset patch # User haftmann # Date 1193737895 -3600 # Node ID 04cb7e02ca3848381f8f7a810b51736c04c8ed38 # Parent 2e91cc4ddf290588d732a23aa1fa991f042d439f split library index into templates diff -r 2e91cc4ddf29 -r 04cb7e02ca38 Admin/makedist --- a/Admin/makedist Tue Oct 30 10:51:35 2007 +0100 +++ b/Admin/makedist Tue Oct 30 10:51:35 2007 +0100 @@ -190,7 +190,7 @@ } >ANNOUNCE fi -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.html perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/Tools/usedir --- a/lib/Tools/usedir Tue Oct 30 10:51:35 2007 +0100 +++ b/lib/Tools/usedir Tue Oct 30 10:51:35 2007 +0100 @@ -183,7 +183,7 @@ # prepare browser info dir -if [ "$INFO" = "true" -a ! -f "$ISABELLE_BROWSER_INFO/library_index_header.html" ]; then +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" cat "$ISABELLE_HOME/lib/html/library_index_header.template" \ diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/html/index.html --- a/lib/html/index.html Tue Oct 30 10:51:35 2007 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,76 +0,0 @@ - - - - - - - - - - The {ISABELLE} Library - - - - - - - - - - -

- - - - -

- -

Higher-Order Logic
-
- HOL (Higher-Order Logic)
- HOLCF (Higher-Order Logic of Computable Functions)
-

- -

First-Order Logic
-
-

- -

Miscellaneous
-
-

- - diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/html/library_index_content.template --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/html/library_index_content.template Tue Oct 30 10:51:35 2007 +0100 @@ -0,0 +1,44 @@ +

Higher-Order Logic
+
- HOL (Higher-Order Logic)
- HOLCF (Higher-Order Logic of Computable Functions)
+

+ +

First-Order Logic
+
+

+ +

Miscellaneous
+
+

+ diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/html/library_index_footer.template --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/html/library_index_footer.template Tue Oct 30 10:51:35 2007 +0100 @@ -0,0 +1,2 @@ + + diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/html/library_index_header.template --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/html/library_index_header.template Tue Oct 30 10:51:35 2007 +0100 @@ -0,0 +1,28 @@ + + + + + + + + The {ISABELLE} Library + + + + + + + + + + +

+ + + + +

The {ISABELLE} Library

+ +