[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