[m-rev.] for review: update the webpage

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Mar 31 13:28:18 AEST 2005


For review by anyone.


contact/include/people.inc:
	Move the summer students from 2004/2005 to the list
	of people who have worked on the project in the past.B

news/newsdb.inc:
	Mention that Nancy's PhD thesis is available on the
	papers page.

	Mention the addition of `promise_equivalent_solutions'
	and friends to the language.

Julien.

Index: contact/include/people.inc
===================================================================
RCS file: /home/mercury1/repository/w3/contact/include/people.inc,v
retrieving revision 1.18
diff -u -r1.18 people.inc
--- contact/include/people.inc	22 Dec 2004 06:51:41 -0000	1.18
+++ contact/include/people.inc	31 Mar 2005 02:49:48 -0000
@@ -8,9 +8,7 @@
 rafe at cs.mu.oz.au, research fellow
 <li> Mark Brown, mark at cs.mu.oz.au, research assistant
 <li> Julien Fischer, juliensf at cs.mu.oz.au, masters student
-<li> Richard Fothergill, richardf at student.cs.mu.oz.au, summer student
 <li> Ian MacLarty, maclarty at cs.mu.oz.au, masters student
-<li> Darko Jankovic, darkoj at cs.mu.oz.au, summer student
 <li> <a href = "http://www.cs.mu.OZ.AU/~lee/">Lee Naish</a>,
 lee at cs.mu.OZ.AU, senior lecturer
 <li> <a href = "http://www.cs.mu.OZ.AU/~schachte/">Peter Schachte</a>,
@@ -19,7 +17,6 @@
 zs at cs.mu.OZ.AU, senior lecturer
 <li> <a href = "http://www.cs.mu.OZ.AU/~harald/">Harald Søndergaard</a>,
 harald at cs.mu.OZ.AU, senior lecturer
-<li> Peter Wang, wangp at students.cs.mu.oz.au, summer student

 </ul>

@@ -42,12 +39,14 @@
 <li> Levi Cameron, summer student
 <li> Ina Cheng, summer student
 <li> Waye-Ian Chiew, summer student
+<li> Richard Fothergill, richardf at student.cs.mu.oz.au, summer student
 <li> Warwick Harvey, research fellow at Monash University
 <li> <a href = "http://www.cs.mu.OZ.AU/~fjh/">Fergus Henderson</a>,
 fjh at cs.mu.OZ.AU, research fellow
 <li> Oliver Hutchinson, summer student
 <li> Robert Hutton, summer student
 <li> Erwan Jahier, jahier at imag.fr, research assistant at Verimag in Grenoble, France
+<li> Darko Jankovic, darkoj at cs.mu.oz.au, summer student
 <li> Robert Jeschofnik, directed studies student
 <li> Charles Kemp, summer student
 <li> Jane Langley, summer student
@@ -65,6 +64,7 @@
 <li> Vanessa Teague, summer student
 <li> Bert Thompson, research assistant
 <li> Sam Thurairatnam, summer student
+<li> Peter Wang, wangp at students.cs.mu.oz.au, summer student
 <li> Nicolas Watmough, ndw at students.cs.mu.oz.au, summer student
 <li> Geoff Wilson, summer student
 <li> Michael Wybrow, mjwybrow at cs.mu.oz.au, summer student
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.80
diff -u -r1.80 newsdb.inc
--- news/newsdb.inc	10 Dec 2004 06:46:46 -0000	1.80
+++ news/newsdb.inc	31 Mar 2005 03:23:48 -0000
@@ -22,6 +22,28 @@

 $newsdb = array(

+"21 March 2005" => array("New goal types",
+
+"We've added three new types of goal to the language.
+`promise_equivalent_solutions' goals allow the programmer
+to promise that all the solutions generated be a goal are
+equivalent.  This makes working with multi- or non-deterministic code
+easier.  `promise_pure' and `promise_semipure' goals allow the programmer
+to make promises about the purity of arbitrary goals.
+See the \"Goals\" section of the \"Syntax\" chapter of the
+<A HREF=\"$ref_man_latest\">Mercury Language Reference Manual</A>
+for more details.  <A HREF=\"download/rotd.html\">release of the day</A>
+includes support for these new goal types."
+),
+
+"25 February 2005" => array("New PhD thesis",
+
+"A new PhD thesis on Mercury,
+<em>Compile-time garbage collection for the declarative language Mercury</em>
+by Nancy Mazur, is now available from our
+<A HREF=\"information/papers.html\">papers page</A>."
+),
+
 "09 December 2004" => array("New Standard Library to Convert Mercury Terms
 to XML Documents",


--------------------------------------------------------------------------
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