diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-18 15:53:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-18 15:53:45 +0000 |
commit | b4858d7fc0bb4d55de5e7c1b51104c77cbae7109 (patch) | |
tree | efd83fb8e38df31af42eaef2734870dbeee8984c /src | |
parent | ddb4e69b19648af8eb32ef24958f92fa17e93b43 (diff) | |
download | open-axiom-b4858d7fc0bb4d55de5e7c1b51104c77cbae7109.tar.gz |
Fix AW/319
* hyper/pages/MSET.ht: Fix typo.
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 |