<div dir="ltr"><div>Update NEWS file for 13.05 release.<br></div><div><br></div><div>NEWS:</div><div><span class="" style="white-space:pre">    </span>Merge the NEWS for 12.08 (which we won't officially</div><div><span class="" style="white-space:pre">    </span>release) with other recent changes to form the NEWS</div>
<div><span class="" style="white-space:pre">    </span>file for the 13.05 release.</div><div><br></div><div>Julien.</div><div><br></div><div>diff --git a/NEWS b/NEWS</div><div>index 722d792..6dbe712 100644</div><div>--- a/NEWS</div>
<div>+++ b/NEWS</div><div>@@ -1,25 +1,4 @@</div><div>-NEWS since Mercury 12.08</div><div>-------------------------</div><div>-</div><div>-Changes to the Mercury standard library:</div><div>-</div><div>-* We have added predicates to the calendar module for folding over the days</div>
<div>-  in a given range of dates: foldl_days/5, foldl2_days/7 and  foldl3_days/9.</div><div>-</div><div>-Changes to the Mercury compiler:</div><div>-</div><div>-* Generation of 64-bit code on Windows using the MinGW64 port of GCC</div>
<div>-  is now supported, i.e. the x86_64-w64-mingw32 architecture is now</div><div>-  supported.</div><div>-</div><div>-* A new option, `--sign-assembly', provides supports for signing</div><div>-  assemblies generated by the C# backend with a strong name.</div>
<div>-</div><div>-* A new option, `--cstack-reserve-size', allows the size of the C</div><div>-  stack for executables to be change on Microsoft Windows systems.</div><div>-</div><div>-</div><div>-NEWS for Mercury 12.08</div>
<div>+NEWS for Mercury 13.05</div><div> ----------------------</div><div> </div><div> Changes to the Mercury standard library:</div><div>@@ -63,11 +42,24 @@ Changes to the Mercury standard library:</div><div> * We have added the type maybe.maybe_error/2 which is also polymorphic in</div>
<div>   the type of the error.</div><div> </div><div>+* We have added predicates to the calendar module for folding over the days</div><div>+  in a given range of dates: foldl_days/5, foldl2_days/7 and  foldl3_days/9.</div>
<div>+</div><div> Changes to the Mercury compiler:</div><div> </div><div> * The option `--warn-non-tail-recursion' no longer requires</div><div>   `--high-level-code'.</div><div> </div><div>+* Generation of 64-bit code on Windows using the MinGW64 port of GCC</div>
<div>+  is now supported, i.e. the x86_64-w64-mingw32 architecture is now</div><div>+  supported.</div><div>+</div><div>+* A new option, `--sign-assembly', provides supports for signing</div><div>+  assemblies generated by the C# backend with a strong name.</div>
<div>+</div><div>+* A new option, `--cstack-reserve-size', allows the size of the C</div><div>+  stack for executables to be change on Microsoft Windows systems.</div><div>+</div><div> Changes to the Mercury debugger:</div>
<div> </div><div> * We have added new capabilities to the "level", "retry" and "finish" mdb</div><div><br></div></div>