[m-rev.] diff: reorganize menu bars on web site
Fergus Henderson
fjh at cs.mu.OZ.AU
Sat Mar 24 10:34:18 AEDT 2001
This fixes some but not all of the problems with the current web site.
----------
Estimated hours taken: 2
Reorganize the menu bars on the web site. In particular, make them expand
and collapse according to which page you have selected.
My intent with this change is that (modulo a few exceptions) every page
on the site should now appear in the sub-menus.
w3/include/menubar.inc:
Only expand the current page's menu, rather than expanding all
of them.
Add some items to the menus, which had previously not been listed
due to lack of space. This includes adding a sub-menu for the
documentation pages.
w3/*.php3:
w3/*/*.php3:
Define which menu and (if appropriate) sub-menu each page is in.
Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/include/menubar.inc
===================================================================
RCS file: /home/mercury1/repository/w3/include/menubar.inc,v
retrieving revision 1.9
diff -u -d -r1.9 menubar.inc
--- w3/include/menubar.inc 2000/10/06 03:27:15 1.9
+++ w3/include/menubar.inc 2001/03/23 22:15:54
@@ -7,6 +7,9 @@
<P>
<B><a href="<?echo $root?>/information.html">Information</a></B><BR>
+<?
+if($menu == "Information") {
+?>
<SMALL>
<a href="<?echo $root?>/information/motivation.html">Overview</a>
<BR>
@@ -15,6 +18,29 @@
<a href="<?echo $root?>/information/documentation.html">Documentation</a>
<BR>
+ <?
+ if($submenu == "Documentation") {
+ ?>
+
+ <a href="<?echo $root?>/tutorial/index.html">Tutorial</a><BR>
+
+ <a href="<?echo $root?>/information/doc/reference_manual_toc.html">Reference Manual</a><BR>
+
+ <a href="<?echo $root?>/information/doc/user_guide_toc.html">User Guide</a><BR>
+
+ <a href="<?echo $root?>/information/doc/library_toc.html">Library Reference</a><BR>
+
+ <a href="<?echo $root?>/information/doc/transition_guide_toc.html">cf. Prolog</a><BR>
+
+ <a href="<?echo $root?>/information/comparison_with_haskell.html">cf. Haskell</a><BR>
+
+ <a href="http://hydra.cs.mu.oz.au/cgi-bin/fom">FAQ</a><BR>
+ <?
+ }
+ ?>
+
+ <a href="<?echo $root?>/information/benchmarks.html">Benchmarks</a>
+ <BR>
<a href="<?echo $root?>/information/papers.html">Papers</a>
<BR>
 <a href="<?echo $root?>/information/developer.html">Developers</a>
@@ -24,17 +50,29 @@
 <a href="<?echo $root?>/information/reports.html">Reports</a>
<BR>
</SMALL>
+<?
+}
+?>
<P>
<B><a href="<?echo $root?>/mailing-lists/mailing-lists.html">Mailing Lists</a></B><BR>
+<?
+if($menu == "Mailing Lists") {
+?>
<SMALL>
<a href="<?echo $root?>/mailing-lists/mercury-developers/list.html">Developers</a><BR>
<a href="<?echo $root?>/mailing-lists/mercury-users/list.html">Users</a><BR>
<a href="<?echo $root?>/mailing-lists/search.html">Search</a><BR>
</SMALL>
+<?
+}
+?>
<P>
<B><a href="<?echo $root?>/download.html">Download</a></B><BR>
+<?
+if($menu == "Download") {
+?>
<SMALL>
<a href="<?echo $root?>/download/release.html">Current Release</a>
<BR>
@@ -42,13 +80,22 @@
<a href="<?echo $root?>/download/old-release.html">Old Releases
</a><BR>
</SMALL>
+<?
+}
+?>
<P>
<B><a href="<?echo $root?>/information/related.html">Related</a></B><BR>
+<?
+if($menu == "Related") {
+?>
<SMALL>
<a href="<?echo $root?>/applications.html">Applications</a><BR>
<a href="<?echo $root?>/mcorba.html">MCORBA</a> <BR>
<a href="<?echo $root?>/contributions.html">Contributing Code</a> <BR>
</SMALL>
+<?
+}
+?>
<P>
<B><a href="<?echo $root?>/contact.html">Contact</a></B>
<P>
Index: w3/applications.php3
===================================================================
RCS file: /home/mercury1/repository/w3/applications.php3,v
retrieving revision 1.1
diff -u -d -r1.1 applications.php3
--- w3/applications.php3 1998/09/23 02:00:47 1.1
+++ w3/applications.php3 2001/03/23 20:52:07
@@ -1,5 +1,6 @@
<HTML>
<?
+ $subdir="Related";
$title="Applications using Mercury";
$dir=".";
$root=".";
Index: w3/contact.php3
===================================================================
RCS file: /home/mercury1/repository/w3/contact.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 contact.php3
--- w3/contact.php3 1998/09/01 02:41:01 1.1.1.1
+++ w3/contact.php3 2001/03/23 21:39:00
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Contact";
$title="Contact";
$dir=".";
$root=".";
Index: w3/contributions.php3
===================================================================
RCS file: /home/mercury1/repository/w3/contributions.php3,v
retrieving revision 1.1
diff -u -d -r1.1 contributions.php3
--- w3/contributions.php3 1999/11/04 04:04:32 1.1
+++ w3/contributions.php3 2001/03/23 21:39:17
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Related";
$title="Contributing to Mercury";
$dir=".";
$root=".";
Index: w3/download.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 download.php3
--- w3/download.php3 1998/09/01 02:41:01 1.1.1.1
+++ w3/download.php3 2001/03/23 21:39:00
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Download";
$dir=".";
$root=".";
Index: w3/information.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 information.php3
--- w3/information.php3 1998/09/01 02:41:01 1.1.1.1
+++ w3/information.php3 2001/03/23 21:39:01
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Information";
$dir=".";
$root=".";
Index: w3/mcorba.php3
===================================================================
RCS file: /home/mercury1/repository/w3/mcorba.php3,v
retrieving revision 1.1
diff -u -d -r1.1 mcorba.php3
--- w3/mcorba.php3 1998/09/11 05:54:12 1.1
+++ w3/mcorba.php3 2001/03/23 21:39:01
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Related";
$title="MCORBA";
$dir=".";
$root=".";
Index: w3/news.php3
===================================================================
RCS file: /home/mercury1/repository/w3/news.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 news.php3
--- w3/news.php3 1998/09/01 02:41:01 1.1.1.1
+++ w3/news.php3 2001/03/23 21:39:02
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="News";
$title="News";
$dir=".";
$root=".";
Index: w3/search.php3
===================================================================
RCS file: /home/mercury1/repository/w3/search.php3,v
retrieving revision 1.1
diff -u -d -r1.1 search.php3
--- w3/search.php3 1998/11/19 07:54:46 1.1
+++ w3/search.php3 2001/03/23 21:39:02
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Search";
$title="Search Mercury Web Site";
$dir=".";
$root=".";
Index: w3/contact/email.php3
===================================================================
RCS file: /home/mercury1/repository/w3/contact/email.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 email.php3
--- w3/contact/email.php3 1998/09/01 02:41:58 1.1.1.1
+++ w3/contact/email.php3 2001/03/23 21:39:02
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Contact";
$title="Email addresses";
$dir="contact";
$root="..";
Index: w3/contact/people.php3
===================================================================
RCS file: /home/mercury1/repository/w3/contact/people.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 people.php3
--- w3/contact/people.php3 1998/09/01 02:41:58 1.1.1.1
+++ w3/contact/people.php3 2001/03/23 21:39:03
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Contact";
$title="People";
$dir="contact";
$root="..";
Index: w3/download/current-release-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/current-release-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 current-release-bugs.php3
--- w3/download/current-release-bugs.php3 1998/09/01 02:41:51 1.1.1.1
+++ w3/download/current-release-bugs.php3 2001/03/23 21:39:03
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Current release known problems";
$dir="download";
$root="..";
Index: w3/download/gcc-backend.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/gcc-backend.php3,v
retrieving revision 1.1
diff -u -d -r1.1 gcc-backend.php3
--- w3/download/gcc-backend.php3 2001/02/20 07:07:57 1.1
+++ w3/download/gcc-backend.php3 2001/03/23 21:39:11
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="GCC back-end / Mercury front-end";
$dir="download";
$root="..";
Index: w3/download/limitations.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/limitations.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 limitations.php3
--- w3/download/limitations.php3 1998/09/01 02:41:51 1.1.1.1
+++ w3/download/limitations.php3 2001/03/23 21:39:03
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Limitation of the current release";
$dir="download";
$root="..";
Index: w3/download/old-release.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/old-release.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 old-release.php3
--- w3/download/old-release.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/old-release.php3 2001/03/23 21:39:04
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Previous Releases";
$dir="download";
$root="..";
Index: w3/download/release-0.10-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10-bugs.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.10-bugs.php3
--- w3/download/release-0.10-bugs.php3 2001/02/23 04:37:36 1.1
+++ w3/download/release-0.10-bugs.php3 2001/03/23 21:39:11
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.10.0 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.10-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10-contents.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.10-contents.php3
--- w3/download/release-0.10-contents.php3 2001/02/23 04:37:36 1.1
+++ w3/download/release-0.10-contents.php3 2001/03/23 21:39:12
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.10.0 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.10.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.10.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.10.php3
--- w3/download/release-0.10.php3 2001/02/23 04:37:36 1.1
+++ w3/download/release-0.10.php3 2001/03/23 21:39:12
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.10.0 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.3-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.3-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.3-bugs.php3
--- w3/download/release-0.3-bugs.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/release-0.3-bugs.php3 2001/03/23 21:39:04
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.3 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.3-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.3-contents.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.3-contents.php3
--- w3/download/release-0.3-contents.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.3-contents.php3 2001/03/23 21:39:04
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.3 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.3.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.3.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.3.php3
--- w3/download/release-0.3.php3 1998/09/01 02:41:50 1.1.1.1
+++ w3/download/release-0.3.php3 2001/03/23 21:39:05
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.3 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.4-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.4-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.4-bugs.php3
--- w3/download/release-0.4-bugs.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/release-0.4-bugs.php3 2001/03/23 21:39:05
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.4 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.4-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.4-contents.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.4-contents.php3
--- w3/download/release-0.4-contents.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.4-contents.php3 2001/03/23 21:39:05
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.4 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.4.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.4.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.4.php3
--- w3/download/release-0.4.php3 1998/09/01 02:41:50 1.1.1.1
+++ w3/download/release-0.4.php3 2001/03/23 21:39:05
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.4 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.5-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.5-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.5-bugs.php3
--- w3/download/release-0.5-bugs.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/release-0.5-bugs.php3 2001/03/23 21:39:06
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.5 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.5-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.5-contents.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.5-contents.php3
--- w3/download/release-0.5-contents.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.5-contents.php3 2001/03/23 21:39:06
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.5 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.5.1-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.5.1-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.5.1-bugs.php3
--- w3/download/release-0.5.1-bugs.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.5.1-bugs.php3 2001/03/23 21:39:07
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.5.1 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.5.1.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.5.1.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.5.1.php3
--- w3/download/release-0.5.1.php3 1998/09/01 02:41:51 1.1.1.1
+++ w3/download/release-0.5.1.php3 2001/03/23 21:39:07
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.5.1 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.5.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.5.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.5.php3
--- w3/download/release-0.5.php3 1998/09/01 02:41:50 1.1.1.1
+++ w3/download/release-0.5.php3 2001/03/23 21:39:07
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.5 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.6-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.6-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.6-bugs.php3
--- w3/download/release-0.6-bugs.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/release-0.6-bugs.php3 2001/03/23 21:39:07
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.6 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.6-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.6-contents.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.6-contents.php3
--- w3/download/release-0.6-contents.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.6-contents.php3 2001/03/23 21:39:08
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.6 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.6.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.6.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.6.php3
--- w3/download/release-0.6.php3 1998/09/01 02:41:50 1.1.1.1
+++ w3/download/release-0.6.php3 2001/03/23 21:39:08
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.6 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.7-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.7-bugs.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.7-bugs.php3
--- w3/download/release-0.7-bugs.php3 1998/09/01 02:41:48 1.1.1.1
+++ w3/download/release-0.7-bugs.php3 2001/03/23 21:39:08
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.7 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.7-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.7-contents.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.7-contents.php3
--- w3/download/release-0.7-contents.php3 1998/09/01 02:41:49 1.1.1.1
+++ w3/download/release-0.7-contents.php3 2001/03/23 21:39:08
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.7 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.7.3.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.7.3.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.7.3.php3
--- w3/download/release-0.7.3.php3 1998/09/01 02:41:51 1.1.1.1
+++ w3/download/release-0.7.3.php3 2001/03/23 21:39:09
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.7.3 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.7.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.7.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release-0.7.php3
--- w3/download/release-0.7.php3 1998/09/01 02:41:50 1.1.1.1
+++ w3/download/release-0.7.php3 2001/03/23 21:39:09
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.7 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.8-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.8-bugs.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.8-bugs.php3
--- w3/download/release-0.8-bugs.php3 1998/11/17 15:35:22 1.1
+++ w3/download/release-0.8-bugs.php3 2001/03/23 21:39:09
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.8 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.8-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.8-contents.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.8-contents.php3
--- w3/download/release-0.8-contents.php3 1998/11/17 15:35:23 1.1
+++ w3/download/release-0.8-contents.php3 2001/03/23 21:39:10
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.8 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.8.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.8.php3,v
retrieving revision 1.1
diff -u -d -r1.1 release-0.8.php3
--- w3/download/release-0.8.php3 1998/11/17 15:35:25 1.1
+++ w3/download/release-0.8.php3 2001/03/23 21:39:10
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.8 Notes";
$dir="download";
$root="..";
Index: w3/download/release-0.9-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.9-bugs.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.9-bugs.php3
--- w3/download/release-0.9-bugs.php3 2000/01/26 08:32:07 1.2
+++ w3/download/release-0.9-bugs.php3 2001/03/23 21:39:10
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.9.1 known problems";
$dir="download";
$root="..";
Index: w3/download/release-0.9-contents.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.9-contents.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.9-contents.php3
--- w3/download/release-0.9-contents.php3 2000/01/26 08:32:07 1.2
+++ w3/download/release-0.9-contents.php3 2001/03/23 21:39:11
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.9.1 Contents";
$dir="download";
$root="..";
Index: w3/download/release-0.9.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.9.php3,v
retrieving revision 1.2
diff -u -d -r1.2 release-0.9.php3
--- w3/download/release-0.9.php3 2000/01/26 08:32:07 1.2
+++ w3/download/release-0.9.php3 2001/03/23 21:39:11
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release 0.9.1 Notes";
$dir="download";
$root="..";
Index: w3/download/release.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 release.php3
--- w3/download/release.php3 1998/09/01 02:41:47 1.1.1.1
+++ w3/download/release.php3 2001/03/23 21:39:10
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Current Release";
$dir="download";
$root="..";
Index: w3/download/rotd.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/rotd.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 rotd.php3
--- w3/download/rotd.php3 1998/09/01 02:41:51 1.1.1.1
+++ w3/download/rotd.php3 2001/03/23 21:39:10
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Download";
$title="Release of the day";
$dir="download";
$root="..";
Index: w3/information/benchmarks.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/benchmarks.php3,v
retrieving revision 1.2
diff -u -d -r1.2 benchmarks.php3
--- w3/information/benchmarks.php3 1998/09/24 05:17:07 1.2
+++ w3/information/benchmarks.php3 2001/03/23 21:39:12
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Benchmarks";
$dir="information";
$root="..";
Index: w3/information/comparison_with_haskell.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/comparison_with_haskell.php3,v
retrieving revision 1.1
diff -u -d -r1.1 comparison_with_haskell.php3
--- w3/information/comparison_with_haskell.php3 2001/03/12 19:48:36 1.1
+++ w3/information/comparison_with_haskell.php3 2001/03/23 21:39:14
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Comparing Mercury and Haskell";
$dir="information";
$root="..";
Index: w3/information/developer.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/developer.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 developer.php3
--- w3/information/developer.php3 1998/09/01 02:41:08 1.1.1.1
+++ w3/information/developer.php3 2001/03/23 21:39:13
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Developer Information";
$dir="information";
$root="..";
Index: w3/information/documentation.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/documentation.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 documentation.php3
--- w3/information/documentation.php3 1998/09/01 02:41:08 1.1.1.1
+++ w3/information/documentation.php3 2001/03/23 21:51:37
@@ -1,5 +1,7 @@
<HTML>
<?
+ $menu="Information";
+ $submenu="Documentation";
$title="Documentation";
$dir="information";
$root="..";
Index: w3/information/events.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/events.php3,v
retrieving revision 1.1
diff -u -d -r1.1 events.php3
--- w3/information/events.php3 2000/10/06 03:27:20 1.1
+++ w3/information/events.php3 2001/03/23 21:39:14
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Event Information";
$dir="information";
$root="..";
Index: w3/information/features.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/features.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 features.php3
--- w3/information/features.php3 1998/09/01 02:41:08 1.1.1.1
+++ w3/information/features.php3 2001/03/23 21:39:13
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Features";
$dir="information";
$root="..";
Index: w3/information/motivation.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/motivation.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 motivation.php3
--- w3/information/motivation.php3 1998/09/01 02:41:08 1.1.1.1
+++ w3/information/motivation.php3 2001/03/23 21:39:13
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Motivation and Overview";
$dir="information";
$root="..";
Index: w3/information/papers.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/papers.php3,v
retrieving revision 1.2
diff -u -d -r1.2 papers.php3
--- w3/information/papers.php3 1998/09/15 02:32:27 1.2
+++ w3/information/papers.php3 2001/03/23 21:39:13
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Papers and Presentations";
$dir="information";
$root="..";
Index: w3/information/related.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/related.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 related.php3
--- w3/information/related.php3 1998/09/01 02:41:09 1.1.1.1
+++ w3/information/related.php3 2001/03/23 21:39:14
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Related";
$title="Related Projects";
$dir="information";
$root="..";
Index: w3/information/reports.php3
===================================================================
RCS file: /home/mercury1/repository/w3/information/reports.php3,v
retrieving revision 1.1
diff -u -d -r1.1 reports.php3
--- w3/information/reports.php3 2000/10/06 03:27:20 1.1
+++ w3/information/reports.php3 2001/03/23 21:39:14
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Information";
$title="Mercury Reports";
$dir="information";
$root="..";
Index: w3/mailing-lists/mailing-lists.php3
===================================================================
RCS file: /home/mercury1/repository/w3/mailing-lists/mailing-lists.php3,v
retrieving revision 1.1.1.1
diff -u -d -r1.1.1.1 mailing-lists.php3
--- w3/mailing-lists/mailing-lists.php3 1998/09/01 02:41:02 1.1.1.1
+++ w3/mailing-lists/mailing-lists.php3 2001/03/23 21:39:15
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Mailing Lists";
$title="Mailing List Archives";
$dir="mailing-lists";
$root="..";
Index: w3/mailing-lists/message.php3
===================================================================
RCS file: /home/mercury1/repository/w3/mailing-lists/message.php3,v
retrieving revision 1.1
diff -u -d -r1.1 message.php3
--- w3/mailing-lists/message.php3 1999/03/25 03:52:52 1.1
+++ w3/mailing-lists/message.php3 2001/03/23 21:39:15
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Mailing Lists";
$title="%s";
$dir="mailing-lists";
$root="..";
Index: w3/mailing-lists/message_list.php3
===================================================================
RCS file: /home/mercury1/repository/w3/mailing-lists/message_list.php3,v
retrieving revision 1.1
diff -u -d -r1.1 message_list.php3
--- w3/mailing-lists/message_list.php3 1999/03/25 03:52:52 1.1
+++ w3/mailing-lists/message_list.php3 2001/03/23 21:39:15
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Mailing Lists";
$title="%l %s";
$dir="mailing-lists";
$root="..";
Index: w3/mailing-lists/search.php3
===================================================================
RCS file: /home/mercury1/repository/w3/mailing-lists/search.php3,v
retrieving revision 1.1
diff -u -d -r1.1 search.php3
--- w3/mailing-lists/search.php3 1998/11/19 07:55:04 1.1
+++ w3/mailing-lists/search.php3 2001/03/23 21:39:15
@@ -1,5 +1,6 @@
<HTML>
<?
+ $menu="Mailing Lists";
$title="Search the Mailing Lists";
$dir="mailing-lists";
$root="..";
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list