CVS difference for ais/ai-00203.txt

--- ais/ai-00203.txt	1999/07/28 00:08:45	1.5
+++ ais/ai-00203.txt	1999/08/31 22:53:56	1.6
@@ -1,4 +1,4 @@
-!standard 03.05.08 (02)                               99-07-27  AI95-00203/03
+!standard 03.05.08 (02)                               99-08-31  AI95-00203/03
 !class binding interpretation 98-03-27
 !status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
@@ -7,6 +7,7 @@
 !status received 98-03-27
 !priority Medium
 !difficulty Hard
+!qualifier Error
 !subject S'Digits when T'Machine_Radix is 10.
 
 !summary
@@ -95,13 +96,13 @@
 !corrigendum 3.05.08(2)
 
 @drepl
-@xhang<S'Digits@tabS'Digits denotes the requested decimal precision for the
+@xhang<@xterms<S'Digits>S'Digits denotes the requested decimal precision for the
 subtype S. The value of this attribute is of the type universal_integer. The
 requested decimal precision of the base subtype of a floating point type T
 is defined to be the largest value of d for which ceiling(d * log(10) /
 log(T'Machine_Radix)) + 1 <= T'Model_Mantissa.>
 @dby
-@xhang<S'Digits@tabS'Digits denotes the requested decimal precision for the
+@xhang<@xterms<S'Digits>S'Digits denotes the requested decimal precision for the
 subtype S. The value of this attribute is of the type universal_integer.
 The requested decimal precision of the base subtype of a floating point
 type T is defined to be the largest value of d for which>