diff --git a/documentation/include/documentation.inc b/documentation/include/documentation.inc index 3baa517..6cb53d8 100644 --- a/documentation/include/documentation.inc +++ b/documentation/include/documentation.inc @@ -45,7 +45,7 @@ of the entire document, links to PDF versions are provided.

Mercury Language Reference Manual

Information on the Mercury programming language itself, including syntax, types and modes, determinism, - the module system, foreign language interface and higher-order + the module system, foreign language interface, and higher-order programming. @@ -85,7 +85,7 @@ of the entire document, links to PDF versions are provided.
  • Mercury Library Reference Manual

    Descriptions of the interfaces to the library - which comes with the Mercury distribution. + which come with the Mercury distribution.
  • @@ -103,9 +103,9 @@ of the entire document, links to PDF versions are provided.
  • Prolog to Mercury Transition Guide

    - Information to assist programmers to move Prolog - programs to Mercury. Includes information on differences in - the languages and common programming styles. + Information to assist programmers in moving Prolog + programs to Mercury, differences in + the languages, and common programming styles.