New in release 0.10.1 of the Mercury distribution

This is mainly a bug-fix release.

There are however some new packages in the mercury-extras distribution:

New in release 0.10 of the Mercury distribution

HIGHLIGHTS

Changes to the Mercury language: Changes to the Mercury standard library: Changes to the Mercury implementation: Additional packages in the mercury-extras distribution:

DETAILED LISTING

Changes to the Mercury language

Changes to the standard library

Changes to the Mercury implementation

Changes to the development environment