From b5d8edf35853ccaf0d2649285b98b63743044ac3 Mon Sep 17 00:00:00 2001
From: Tim Daly <daly@axiom-developer.org>
Date: Tue, 6 Jan 2015 15:34:41 -0500
Subject: buglist: bug 7281: )show TYPE gives duplicate output

)show TYPE
 Type  is a category constructor
 Abbreviation for Type is TYPE
 This constructor is exposed in this frame.
 Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE

------------------------------- Operations --------------------------------
 Type is a category constructor.
 Abbreviation for Type is TYPE
 This constructor is exposed in this frame.
 Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE

------------------------------- Operations --------------------------------
---
 buglist                        |   17 +++++++++++++++++
 changelog                      |    2 ++
 patch                          |   18 +++++++++++++++---
 src/axiom-website/patches.html |    2 ++
 4 files changed, 36 insertions(+), 3 deletions(-)

diff --git a/buglist b/buglist
index 548691d..a2ed0cf 100644
--- a/buglist
+++ b/buglist
@@ -12,6 +12,23 @@ dup 50006:
 nonextend 60077:
 
 =========================================================================
+bug 7281: )show TYPE gives duplicate output
+
+)show TYPE
+ Type  is a category constructor
+ Abbreviation for Type is TYPE 
+ This constructor is exposed in this frame.
+ Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE 
+
+------------------------------- Operations --------------------------------
+ Type is a category constructor.
+ Abbreviation for Type is TYPE 
+ This constructor is exposed in this frame.
+ Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE 
+
+------------------------------- Operations --------------------------------
+
+=========================================================================
 bug 7280: Enumeration fails
 
 Insn == Enumeration(New, Move, Line, Close)
diff --git a/changelog b/changelog
index 0d14872..87a6e4a 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20150106 tpd src/axiom-website/patches.html 20150106.05.tpd.patch
+20150106 tpd buglist: bug 7281: )show TYPE gives duplicate output
 20150106 tpd src/axiom-website/patches.html 20150106.04.tpd.patch
 20150106 tpd buglist: bug 7280: Enumeration fails
 20150106 tpd src/axiom-website/patches.html 20150106.03.tpd.patch
diff --git a/patch b/patch
index 60b757f..3f17a17 100644
--- a/patch
+++ b/patch
@@ -1,4 +1,16 @@
-buglist: bug 7280: Enumeration fails
+buglist: bug 7281: )show TYPE gives duplicate output
+
+)show TYPE
+ Type  is a category constructor
+ Abbreviation for Type is TYPE 
+ This constructor is exposed in this frame.
+ Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE 
+
+------------------------------- Operations --------------------------------
+ Type is a category constructor.
+ Abbreviation for Type is TYPE 
+ This constructor is exposed in this frame.
+ Issue )edit bookvol10.2.pamphlet to see algebra source code for TYPE 
+
+------------------------------- Operations --------------------------------
 
-Insn == Enumeration(New, Move, Line, Close)
-Insn
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 49539d9..3e6750e 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4904,6 +4904,8 @@ src/input/charlwood.input fix a failing test<br/>
 books/bookvol5 remove $undoFlag as it is always true<br/>
 <a href="patches/20150106.04.tpd.patch">20150106.04.tpd.patch</a>
 buglist: bug 7280: Enumeration fails<br/>
+<a href="patches/20150106.05.tpd.patch">20150106.05.tpd.patch</a>
+buglist: bug 7281: )show TYPE gives duplicate output<br/>
  </body>
 </html>
 
-- 
1.7.5.4