CVS difference for ais/ai-00256.txt

Differences between 1.14 and version 1.15
Log of other versions for file ais/ai-00256.txt

--- ais/ai-00256.txt	2005/01/07 03:07:33	1.14
+++ ais/ai-00256.txt	2005/01/28 02:10:41	1.15
@@ -275,21 +275,21 @@
 !corrigendum G.2.2(3)
 
 @drepl
-Yields the number of digits in the mantissa of the canonical form of the model
+@xindent<Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
 than or equal to @i<Ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + 1,
 where @i<d> is the requested decimal precision of @i<T>. In addition, it shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
-yields a value of the type @i<universal_integer>.
+yields a value of the type @i<universal_integer>.>
 @dby
-Yields the number of digits in the mantissa of the canonical form of the model
+@xindent<Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
-than or equal to
-@xindent<@i<ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + @i<g>>
-where @i<d> is the requested decimal precision of @i<T>, and @i<g> is 0 if
+than or equal to>
+@xcode<    @i<ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + @i<g>>
+@xindent<where @i<d> is the requested decimal precision of @i<T>, and @i<g> is 0 if
 Machine_Radix is a positive power of 10 and 1 otherwise. In addition, it shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
-yields a value of the type @i<universal_integer>.
+yields a value of the type @i<universal_integer>.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent