<div dir="ltr"><div>A minor update for release notes.</div><div><br></div><div>RELEASE_NOTES:</div><div><span class="" style="white-space:pre">       </span>Mercury is no longer developed at the University</div><div><span class="" style="white-space:pre">   </span>of Melbourne.</div>
<div><br></div><div>Julien.</div><div><br></div><div>diff --git a/RELEASE_NOTES b/RELEASE_NOTES</div><div>index 69531b7..7179b4f 100644</div><div>--- a/RELEASE_NOTES</div><div>+++ b/RELEASE_NOTES</div><div>@@ -1,9 +1,9 @@</div>
<div> </div><div> We are pleased to announce the release of version 13.05 of the Mercury system.</div><div> </div><div>-Mercury is a modern general-purpose programming language, designed and</div><div>-implemented by a small group of researchers at the University of</div>
<div>-Melbourne, Australia.  Mercury is based on the paradigm of purely</div><div>+Mercury is a modern general-purpose programming language, originally</div><div>+designed and implemented by a small group of researchers at the University</div>
<div>+of Melbourne, Australia.  Mercury is based on the paradigm of purely</div><div> declarative programming, and was designed to be useful for the</div><div> development of large and robust ``real-world'' applications.</div>
<div> It improves on existing logic programming languages by providing</div><div><br></div></div>