[MLton-devel] cvs commit: navbar on web pages

Stephen Weeks sweeks@users.sourceforge.net
Thu, 22 Aug 2002 10:40:33 -0700


sweeks      02/08/22 10:40:33

  Modified:    doc/web  download.html index.html performance.html
                        projects.html sources.html team.html users.html
               doc/web/papers index.html
  Log:
  Added navbar to all web pages except user guide.  Check it out.

Revision  Changes    Path
1.13      +14 -1     mlton/doc/web/download.html

Index: download.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/download.html,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- download.html	22 Aug 2002 00:51:30 -0000	1.12
+++ download.html	22 Aug 2002 17:40:33 -0000	1.13
@@ -6,6 +6,19 @@
   </HEAD>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (download)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (<a href = "performance.html">performance</a>)
+    (<a href = "projects.html">projects</a>)
+    (<a href = "sources.html">sources</a>)
+    (<a href = "team.html">team</a>)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (<a href = "users.html">users</a>)
+    </center>
+
+    <p>
     The latest version (20020410) is available in the following formats.
     <ul>
       <li> Binary
@@ -52,7 +65,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
     <!-- Created: Mon Jan 29 13:26:08 PST 2001 -->
     <!-- hhmts start -->
-Last modified: Wed Aug 21 17:49:37 PDT 2002
+Last modified: Thu Aug 22 10:37:44 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.29      +2 -1      mlton/doc/web/index.html

Index: index.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/index.html,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -r1.28 -r1.29
--- index.html	14 Aug 2002 20:04:18 -0000	1.28
+++ index.html	22 Aug 2002 17:40:33 -0000	1.29
@@ -10,6 +10,7 @@
   <body bgcolor = "white" text = "black">
     <center>
     (<a href = "download.html">download</a>)
+    (home)
     (<a href = "papers/index.html">papers</a>)
     (<a href = "performance.html">performance</a>)
     (<a href = "projects.html">projects</a>)
@@ -88,7 +89,7 @@
     <hr>
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- hhmts start -->
-Last modified: Wed Aug 14 12:53:35 PDT 2002
+Last modified: Thu Aug 22 10:37:24 PDT 2002
 <!-- hhmts end -->
 <p><a href="http://sourceforge.net">
     <img src="http://sourceforge.net/sflogo.php?group_id=50419&type=4"



1.15      +14 -1     mlton/doc/web/performance.html

Index: performance.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/performance.html,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- performance.html	14 Aug 2002 20:04:18 -0000	1.14
+++ performance.html	22 Aug 2002 17:40:33 -0000	1.15
@@ -5,6 +5,19 @@
   </head>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "download.html">download</a>)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (performance)
+    (<a href = "projects.html">projects</a>)
+    (<a href = "sources.html">sources</a>)
+    (<a href = "team.html">team</a>)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (<a href = "users.html">users</a>)
+    </center>
+
+    <p>
     This page compares the performance of the following SML compilers on a range
     of benchmarks.
     <ul>
@@ -973,7 +986,7 @@
     <hr>
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- hhmts start -->
-Last modified: Wed Aug 14 12:58:42 PDT 2002
+Last modified: Thu Aug 22 10:37:58 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.9       +14 -1     mlton/doc/web/projects.html

Index: projects.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/projects.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- projects.html	21 Jul 2002 20:24:08 -0000	1.8
+++ projects.html	22 Aug 2002 17:40:33 -0000	1.9
@@ -6,6 +6,19 @@
   </head>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "download.html">download</a>)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (<a href = "performance.html">performance</a>)
+    (projects)
+    (<a href = "sources.html">sources</a>)
+    (<a href = "team.html">team</a>)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (<a href = "users.html">users</a>)
+    </center>
+
+    <p>
     We have lots of ideas for projects to improve MLton, many of which we do not
     have time to implement, or at least haven't started on yet.  Here is a list
     of some of those improvements, ranging from the easy (1 week) to the
@@ -57,7 +70,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
     <!-- Created: Mon Jan 29 13:26:08 PST 2001 -->
     <!-- hhmts start -->
-Last modified: Sun Jul 21 13:19:47 PDT 2002
+Last modified: Thu Aug 22 10:38:06 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.3       +15 -2     mlton/doc/web/sources.html

Index: sources.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/sources.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- sources.html	14 Aug 2002 20:04:19 -0000	1.2
+++ sources.html	22 Aug 2002 17:40:33 -0000	1.3
@@ -4,7 +4,20 @@
     <title>MLton sources</title>
   </head>
 
-  <body>
+  <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "download.html">download</a>)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (<a href = "performance.html">performance</a>)
+    (<a href = "projects.html">projects</a>)
+    (sources)
+    (<a href = "team.html">team</a>)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (<a href = "users.html">users</a>)
+    </center>
+
+    <p>
     You can <a href = "download.html">download</a> the sources from our releases
 	  in <tt>tgz</tt> and <tt>srpm</tt> formats.
     <p>
@@ -21,7 +34,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- Created: Sat Jul 20 16:33:48 PDT 2002 -->
 <!-- hhmts start -->
-Last modified: Wed Aug 14 12:45:27 PDT 2002
+Last modified: Thu Aug 22 10:38:13 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.4       +14 -1     mlton/doc/web/team.html

Index: team.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/team.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- team.html	22 Aug 2002 15:16:40 -0000	1.3
+++ team.html	22 Aug 2002 17:40:33 -0000	1.4
@@ -5,6 +5,19 @@
   </head>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "download.html">download</a>)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (<a href = "performance.html">performance</a>)
+    (<a href = "projects.html">projects</a>)
+    (<a href = "sources.html">sources</a>)
+    (team)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (<a href = "users.html">users</a>)
+    </center>
+
+    <p>
     Here are the MLton team members and their current affiliations.
     <dl>
       <dt> Henry Cejtin
@@ -35,7 +48,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- Created: Mon Jan 29 13:29:32 PST 2001 -->
 <!-- hhmts start -->
-Last modified: Thu Aug 22 08:16:00 PDT 2002
+Last modified: Thu Aug 22 10:38:21 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.4       +14 -1     mlton/doc/web/users.html

Index: users.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/users.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- users.html	14 Aug 2002 20:04:19 -0000	1.3
+++ users.html	22 Aug 2002 17:40:33 -0000	1.4
@@ -5,6 +5,19 @@
   </head>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "download.html">download</a>)
+    (<a href = "index.html">home</a>)
+    (<a href = "papers/index.html">papers</a>)
+    (<a href = "performance.html">performance</a>)
+    (<a href = "projects.html">projects</a>)
+    (<a href = "sources.html">sources</a>)
+    (<a href = "team.html">team</a>)
+    (<a href = "user-guide/index.html">user guide</a>)
+    (users)
+    </center>
+
+    <p>
     Here is a list of companies and people that use or have used MLton.  If you
     would like to add something to the list, please send mail to
     <tt>MLton@mlton.org</tt> with a brief description and a link.
@@ -58,7 +71,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- Created: Tue Jan 23 17:30:46 PST 2001 -->
 <!-- hhmts start -->
-Last modified: Wed Aug 14 13:00:11 PDT 2002
+Last modified: Thu Aug 22 10:38:29 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>



1.4       +14 -1     mlton/doc/web/papers/index.html

Index: index.html
===================================================================
RCS file: /cvsroot/mlton/mlton/doc/web/papers/index.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- index.html	21 Jul 2002 20:24:08 -0000	1.3
+++ index.html	22 Aug 2002 17:40:33 -0000	1.4
@@ -5,6 +5,19 @@
   </head>
 
   <body bgcolor = "white" text = "black">
+    <center>
+    (<a href = "../download.html">download</a>)
+    (<a href = "../index.html">home</a>)
+    (papers)
+    (<a href = "../performance.html">performance</a>)
+    (<a href = "../projects.html">projects</a>)
+    (<a href = "../sources.html">sources</a>)
+    (<a href = "../team.html">team</a>)
+    (<a href = "../user-guide/index.html">user guide</a>)
+    (<a href = "../users.html">users</a>)
+    </center>
+
+    <p>
     Here are papers that we have written describing parts of MLton.
 
     <p><a href = "01-icfp.ps.gz">Contification Using Dominators</a>
@@ -36,7 +49,7 @@
 <a href = "http://www.mlton.org">MLton</a><br>
 <!-- Created: Thu Feb 15 17:41:08 PST 2001 -->
 <!-- hhmts start -->
-Last modified: Sun Jul 21 11:47:53 PDT 2002
+Last modified: Thu Aug 22 10:37:36 PDT 2002
 <!-- hhmts end -->
   </body>
 </html>





-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel