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

[Julien Fischer]

Is anyone planning to review this?


On Thu, 31 Mar 2005, Julien Fischer wrote:

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