From 49727ef97a25730307fdb9622be726e92a41a875 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 21 Nov 2008 04:54:55 +0000
Subject: 	* algebra/alql.spad.pamphlet (Database): Now CoercibleFrom
 List S. 	* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT
 FEXPR. 	(Asp6): Now CoercibleFrom Vector FEXPR. 	*
 algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R. 
 (Ring): Extend CoercibleFrom Integer. 	* algebra/formula.spad.pamphlet
 (ScriptFormulaFormat): Now 	CoercibleFrom E. 	*
 algebra/fortran.spad.pamphlet (FortranCode): Remove redundant 	signature. 
 * algebra/fs2ups.spad.pamphlet 
 (FunctionSpaceToUnivariatePowerSeries):  Tidy parameter. 	*
 algebra/laurent.spad.pamphlet 	(UnivariateLaurentSeriesConstructorCategory):
 Extend CoercibleFrom 	UTS. 	* algebra/manip.spad.pamphlet
 (PolynomialRoots): Tidy parameter. 	* algebra/modmon.spad.pamphlet
 (ModMonic): Now CoercibleFrom Rep. 	* algebra/ore.spad.pamphlet
 (UnivariateSkewPolynomial): Now 	CoercibleFrom Variable x.

---
 src/algebra/tex.spad.pamphlet | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/algebra/tex.spad.pamphlet')

diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet
index adc11106..1144842d 100644
--- a/src/algebra/tex.spad.pamphlet
+++ b/src/algebra/tex.spad.pamphlet
@@ -89,10 +89,7 @@ TexFormat(): public == private where
   S      ==> String
   US     ==> UniversalSegment(Integer)
 
-  public == SetCategory with
-    coerce:   E -> $
-      ++ coerce(o) changes o in the standard output format to TeX
-      ++ format.
+  public == Join(SetCategory,CoercibleFrom E) with
     convert:  (E,I) -> $
       ++ convert(o,step) changes o in standard output format to
       ++ TeX format and also adds the given step number. This is useful
-- 
cgit v1.2.3