cvs diff: Web page fixes.

Tyson Richard DOWD trd at hydra.cs.mu.oz.au
Mon Apr 21 18:16:26 AEST 1997


Hi folks,

	Can someone review this?

===================================================================

Estimated hours taken: 0.3

Add contact details to web pages. Clarify the benchmarks page.

benchmarks.html:
	Explicitly state that the source for cqueens is the same
	as queens but has a #define, as it looks like the source is
	missing at first glance.
	Also add a link to harness.html.

*.html:
developer/*.html:
doc/documentation.html:
	Add a contact email address for comments about the web page,
	and a link to the contact details page.


Index: benchmarks.html
===================================================================
RCS file: /home/staff/zs/imp/www/benchmarks.html,v
retrieving revision 1.3
diff -u -r1.3 benchmarks.html
--- benchmarks.html	1997/01/30 04:03:05	1.3
+++ benchmarks.html	1997/04/21 06:42:43
@@ -62,6 +62,8 @@
 is the queens benchmark after it has been put through
 the source-to-source transformation of Seki and Furukawa
 from the Proceedings of the Fourth IEEE Symposium on Logic Programming.
+(Note: cqueens uses the source code for queens, with constraint propagation
+defined).
 <li>
 <a href = "bench/crypt.html">crypt</a>
 solves a cryptoarithmetic puzzle.
@@ -92,6 +94,13 @@
 it is heavily recursive and does lots of simple integer arithmetic.
 </ul>
 
+The benchmarks use the following test harness:
+<p>
+<ul>
+	<li> <a href = "bench/harness.html">harness</a>
+</ul>
+
+<h3>Generated code</h3>
 <p>
 This list contains links to the C files
 generated by the Mercury compiler for the benchmarks:
@@ -124,6 +133,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:05 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: email.html
===================================================================
RCS file: /home/staff/zs/imp/www/email.html,v
retrieving revision 1.3
diff -u -r1.3 email.html
--- email.html	1997/01/30 04:03:06	1.3
+++ email.html	1997/04/21 06:43:14
@@ -29,6 +29,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:06 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: features.html
===================================================================
RCS file: /home/staff/zs/imp/www/features.html,v
retrieving revision 1.3
diff -u -r1.3 features.html
--- features.html	1997/01/30 04:03:06	1.3
+++ features.html	1997/04/21 06:43:56
@@ -169,6 +169,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:06 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: index.html
===================================================================
RCS file: /home/staff/zs/imp/www/index.html,v
retrieving revision 1.9
diff -u -r1.9 index.html
--- index.html	1997/02/14 05:52:14	1.9
+++ index.html	1997/04/21 06:44:16
@@ -124,6 +124,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/02/14 05:52:14 $ by $Author: aet $@cs.mu.oz.au
 </body>
 </html>
Index: limitations.html
===================================================================
RCS file: /home/staff/zs/imp/www/limitations.html,v
retrieving revision 1.3
diff -u -r1.3 limitations.html
--- limitations.html	1997/01/30 04:03:07	1.3
+++ limitations.html	1997/04/21 06:44:28
@@ -42,6 +42,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:07 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: mailinglists.html
===================================================================
RCS file: /home/staff/zs/imp/www/mailinglists.html,v
retrieving revision 1.3
diff -u -r1.3 mailinglists.html
--- mailinglists.html	1997/01/30 04:03:08	1.3
+++ mailinglists.html	1997/04/21 06:44:34
@@ -28,6 +28,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:08 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: motivation.html
===================================================================
RCS file: /home/staff/zs/imp/www/motivation.html,v
retrieving revision 1.3
diff -u -r1.3 motivation.html
--- motivation.html	1997/01/30 04:03:09	1.3
+++ motivation.html	1997/04/21 06:44:45
@@ -105,6 +105,9 @@
 
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:09 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: old-release.html
===================================================================
RCS file: /home/staff/zs/imp/www/old-release.html,v
retrieving revision 1.3
diff -u -r1.3 old-release.html
--- old-release.html	1997/01/30 04:10:01	1.3
+++ old-release.html	1997/04/21 06:44:52
@@ -101,6 +101,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:10:01 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: papers.html
===================================================================
RCS file: /home/staff/zs/imp/www/papers.html,v
retrieving revision 1.3
diff -u -r1.3 papers.html
--- papers.html	1997/01/30 04:03:10	1.3
+++ papers.html	1997/04/21 06:44:55
@@ -369,6 +369,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:10 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: people.html
===================================================================
RCS file: /home/staff/zs/imp/www/people.html,v
retrieving revision 1.4
diff -u -r1.4 people.html
--- people.html	1997/02/12 09:52:14	1.4
+++ people.html	1997/04/21 06:45:00
@@ -44,6 +44,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/02/12 09:52:14 $ by $Author: zs $@cs.mu.oz.au
 </body>
 </html>
Index: related.html
===================================================================
RCS file: /home/staff/zs/imp/www/related.html,v
retrieving revision 1.4
diff -u -r1.4 related.html
--- related.html	1997/01/30 04:03:12	1.4
+++ related.html	1997/04/21 06:45:09
@@ -32,6 +32,9 @@
 <hr>
 <p>
 
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:12 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.3-bugs.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.3-bugs.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.3-bugs.html
--- release-0.3-bugs.html	1997/01/30 04:03:13	1.2
+++ release-0.3-bugs.html	1997/04/21 06:45:15
@@ -48,6 +48,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:13 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.3-contents.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.3-contents.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.3-contents.html
--- release-0.3-contents.html	1997/01/30 04:03:13	1.2
+++ release-0.3-contents.html	1997/04/21 06:46:05
@@ -32,6 +32,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:13 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.3.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.3.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.3.html
--- release-0.3.html	1997/01/30 04:03:15	1.2
+++ release-0.3.html	1997/04/21 06:46:32
@@ -173,6 +173,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:15 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.4-bugs.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.4-bugs.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.4-bugs.html
--- release-0.4-bugs.html	1997/01/30 04:03:17	1.2
+++ release-0.4-bugs.html	1997/04/21 06:46:42
@@ -111,6 +111,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:17 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.4-contents.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.4-contents.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.4-contents.html
--- release-0.4-contents.html	1997/01/30 04:03:18	1.2
+++ release-0.4-contents.html	1997/04/21 06:46:45
@@ -35,6 +35,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:18 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.4.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.4.html,v
retrieving revision 1.3
diff -u -r1.3 release-0.4.html
--- release-0.4.html	1997/01/30 04:03:18	1.3
+++ release-0.4.html	1997/04/21 06:46:47
@@ -57,6 +57,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:18 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.5-bugs.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.5-bugs.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.5-bugs.html
--- release-0.5-bugs.html	1997/01/30 04:03:19	1.2
+++ release-0.5-bugs.html	1997/04/21 06:46:48
@@ -95,6 +95,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:19 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.5-contents.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.5-contents.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.5-contents.html
--- release-0.5-contents.html	1997/01/30 04:03:20	1.2
+++ release-0.5-contents.html	1997/04/21 06:46:50
@@ -41,6 +41,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:20 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.5.1-bugs.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.5.1-bugs.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.5.1-bugs.html
--- release-0.5.1-bugs.html	1997/01/30 04:03:21	1.2
+++ release-0.5.1-bugs.html	1997/04/21 06:46:51
@@ -51,6 +51,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:21 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.5.1.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.5.1.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.5.1.html
--- release-0.5.1.html	1997/01/30 04:03:22	1.2
+++ release-0.5.1.html	1997/04/21 06:46:52
@@ -15,6 +15,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:22 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.5.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.5.html,v
retrieving revision 1.4
diff -u -r1.4 release-0.5.html
--- release-0.5.html	1997/01/30 04:03:23	1.4
+++ release-0.5.html	1997/04/21 06:46:54
@@ -82,6 +82,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:23 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.6-bugs.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.6-bugs.html,v
retrieving revision 1.3
diff -u -r1.3 release-0.6-bugs.html
--- release-0.6-bugs.html	1997/01/30 06:08:09	1.3
+++ release-0.6-bugs.html	1997/04/21 06:46:55
@@ -256,6 +256,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 06:08:09 $ by $Author: fjh $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.6-contents.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.6-contents.html,v
retrieving revision 1.2
diff -u -r1.2 release-0.6-contents.html
--- release-0.6-contents.html	1997/01/30 04:03:24	1.2
+++ release-0.6-contents.html	1997/04/21 06:46:57
@@ -28,6 +28,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:24 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release-0.6.html
===================================================================
RCS file: /home/staff/zs/imp/www/release-0.6.html,v
retrieving revision 1.3
diff -u -r1.3 release-0.6.html
--- release-0.6.html	1997/01/30 04:03:25	1.3
+++ release-0.6.html	1997/04/21 06:46:58
@@ -282,6 +282,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:25 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: release.html
===================================================================
RCS file: /home/staff/zs/imp/www/release.html,v
retrieving revision 1.2
diff -u -r1.2 release.html
--- release.html	1997/01/30 04:03:26	1.2
+++ release.html	1997/04/21 06:47:08
@@ -116,6 +116,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 04:03:26 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>
Index: developer/bytecode.html
===================================================================
RCS file: /home/staff/zs/imp/www/developer/bytecode.html,v
retrieving revision 1.1
diff -u -r1.1 bytecode.html
--- bytecode.html	1997/04/07 02:29:00	1.1
+++ bytecode.html	1997/04/21 06:54:33
@@ -525,6 +525,9 @@
 <hr>
 <!-------------------------->
 
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "../email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/04/07 02:29:00 $ by $Author: aet $@cs.mu.oz.au. <br>
 </body>
 </html>
Index: developer/c_coding_standard.html
===================================================================
RCS file: /home/staff/zs/imp/www/developer/c_coding_standard.html,v
retrieving revision 1.4
diff -u -r1.4 c_coding_standard.html
--- c_coding_standard.html	1997/04/02 06:51:26	1.4
+++ c_coding_standard.html	1997/04/21 06:54:53
@@ -651,6 +651,9 @@
 <hr>
 <!-------------------------->
 
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "../email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/04/02 06:51:26 $ by $Author: aet $@cs.mu.oz.au. <br>
 Note: This coding standard is an amalgam of suggestions from the
 entire Mercury team, not ncessarily the opinion of any single author.
Index: developer/documentation.html
===================================================================
RCS file: /home/staff/zs/imp/www/developer/documentation.html,v
retrieving revision 1.5
diff -u -r1.5 documentation.html
--- documentation.html	1997/04/08 14:56:51	1.5
+++ documentation.html	1997/04/21 06:54:25
@@ -111,6 +111,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "../email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/04/08 14:56:51 $ by $Author: aet $@cs.mu.oz.au
 </body>
 </html>
Index: doc/documentation.html
===================================================================
RCS file: /home/staff/zs/imp/www/doc/documentation.html,v
retrieving revision 1.4
diff -u -r1.4 documentation.html
--- documentation.html	1997/01/30 06:28:00	1.4
+++ documentation.html	1997/04/21 06:55:29
@@ -67,6 +67,9 @@
 <p>
 <hr>
 <p>
+Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
+or see our <a href = "../email.html" >contact</a> page.<br>
+
 Last update was $Date: 1997/01/30 06:28:00 $ by $Author: trd $@cs.mu.oz.au
 </body>
 </html>

-- 
       Tyson Dowd           #
                            #             Sign on refrigerator:
     trd at cs.mu.oz.au        #           Refrigerate after opening. 
http://www.cs.mu.oz.au/~trd #                  - C. J. Owen.



More information about the developers mailing list