From b4858d7fc0bb4d55de5e7c1b51104c77cbae7109 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 18 May 2008 15:53:45 +0000
Subject: Fix AW/319 * hyper/pages/MSET.ht: Fix typo.
---
src/ChangeLog | 6 ++++++
src/hyper/pages/MSET.ht | 10 +++++-----
2 files changed, 11 insertions(+), 5 deletions(-)
(limited to 'src')
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
--
cgit v1.2.3