From 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jun 1999 14:42:20 +0000 Subject: Support for version 3 browsers added. --- html/functions.php3 | 15 ++++++++------- html/head.phtml | 13 +++++++++++++ html/index.phtml | 2 +- html/links.phtml | 2 +- html/notes.txt | 6 ++++++ html/smallheader.phtml | 1 - 6 files changed, 29 insertions(+), 10 deletions(-) (limited to 'html') diff --git a/html/functions.php3 b/html/functions.php3 index 4a019784..abba6128 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -32,14 +32,11 @@ function dt($string) { print ""; } -/* Automatic footnotes! */ - -/* FIXME: for now, do nothing. */ +/* Automatic footnotes? */ +/* FIXME: for now, just inline them. */ function footnote ($text) { - print "

[" - . $text . "]

"; - + print "[" . $text . "]
"; } /* A hyper-link with optional mouse over text. @@ -107,11 +104,15 @@ function small_header($title) { print "

" . $title . "

\n\n\n"; } +/* FIXME: improve this function */ + function footer($filemodified=".") { include('footer.phtml'); date_modified($filemodified); print "\n"; - print "\n\n"; + print "\n"; + print "\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ + print "\n"; } function click_to_go_back() { diff --git a/html/head.phtml b/html/head.phtml index 8a583feb..9ba5ca24 100644 --- a/html/head.phtml +++ b/html/head.phtml @@ -15,3 +15,16 @@ print "-->\n\n"; ?> + + + + + diff --git a/html/index.phtml b/html/index.phtml index a0c79c61..dad1cc39 100644 --- a/html/index.phtml +++ b/html/index.phtml @@ -2,9 +2,9 @@ - + diff --git a/html/links.phtml b/html/links.phtml index 6ac723f4..32be2894 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -11,5 +11,5 @@ for links to include here, or find broken links, please script management is not supported, but there are extensive menus and shortcuts provided for common Isabelle commands. + -

\ No newline at end of file diff --git a/html/notes.txt b/html/notes.txt index 2fa7f95d..d1fbdc6e 100644 --- a/html/notes.txt +++ b/html/notes.txt @@ -1,6 +1,12 @@ Developers' Notes about Web Pages --------------------------------- +************* + +Tell Thomas (& other folk?) to update his home page links to Proof General. + +************* + Suggestions for improving web pages after Rod reading them: - slideshow rather than single screen shot diff --git a/html/smallheader.phtml b/html/smallheader.phtml index 0671fa3b..9313300e 100644 --- a/html/smallheader.phtml +++ b/html/smallheader.phtml @@ -1,7 +1,6 @@ -

-- cgit v1.2.3