diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/hyper/pages/MSET.ht | 10 |
2 files changed, 11 insertions, 5 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 409d45e1..2af96219 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-05-18 Waldek Hebisch <hebisch@math.uni.wroc.pl> + Gabriel Dos Reis <gdr@cs.tamu.edu> + + Fix AW/319 + * hyper/pages/MSET.ht: Fix typo. + 2008-05-18 Martin Rubey <martin.rubey@univie.ac.at> Fix AW/321 diff --git a/src/hyper/pages/MSET.ht b/src/hyper/pages/MSET.ht index 381d9356..706f7515 100644 --- a/src/hyper/pages/MSET.ht +++ b/src/hyper/pages/MSET.ht @@ -1,19 +1,19 @@ % Copyright The Numerical Algorithms Group Limited 1992-94. All rights reserved. % !! DO NOT MODIFY THIS FILE BY HAND !! Created by ht.awk. -\newcommand{\MultiSetXmpTitle}{MultiSet} -\newcommand{\MultiSetXmpNumber}{9.53} +\newcommand{\MultisetXmpTitle}{Multiset} +\newcommand{\MultisetXmpNumber}{9.53} % % ===================================================================== -\begin{page}{MultiSetXmpPage}{9.53 MultiSet} +\begin{page}{MultisetXmpPage}{9.53 MultiSet} % ===================================================================== \beginscroll The domain \spadtype{Multiset(R)} is similar to \spadtype{Set(R)} except that multiplicities (counts of duplications) are maintained and displayed. Use the operation \spadfunFrom{multiset}{Multiset} to create -%-% \HDindex{set!vs. multiset}{MultiSetXmpPage}{9.53}{MultiSet} +%-% \HDindex{set!vs. multiset}{MultisetXmpPage}{9.53}{Multiset} multisets from lists. -%-% \HDindex{multiset}{MultiSetXmpPage}{9.53}{MultiSet} +%-% \HDindex{multiset}{MultisetXmpPage}{9.53}{Multiset} All the standard operations from sets are available for multisets. An element with multiplicity greater than one has the |