From 05a809a9816dba52f44a4de63f4e9d7bf442bb2e Mon Sep 17 00:00:00 2001 From: Zoltan Somogyi Date: Sat, 13 Feb 2016 23:20:36 +1100 Subject: [PATCH] Update the top-level description of the library. --- doc/reference_manual.texi | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi index 97f446833..807d3c801 100644 --- a/doc/reference_manual.texi +++ b/doc/reference_manual.texi @@ -4774,11 +4774,13 @@ or @noindent (or any declaration equivalent to one of the two above). -Mercury has a standard library which includes modules for +Mercury has a standard library which includes over 100 modules, +including modules for lists, stacks, queues, priority queues, sets, bags (multi-sets), -maps (dictionaries), random number generation, input/output -and filename and directory handling. -See the Mercury Library Reference Manual for details. +maps (dictionaries), random number generation, input/output, +and filename and directory handling. +See the Mercury Library Reference Manual for a list of the available modules, +and for the documentation of each module. @node An example module @section An example module.