CVS difference for arm/source/pre_standard.mss

Differences between 1.13 and version 1.14
Log of other versions for file arm/source/pre_standard.mss

--- arm/source/pre_standard.mss	2000/05/26 05:03:28	1.13
+++ arm/source/pre_standard.mss	2000/05/27 04:44:03	1.14
@@ -1,8 +1,8 @@
 @comment{ $Source: e:\\cvsroot/ARM/Source/pre_standard.mss,v $ }
-@comment{ $Revision: 1.13 $ $Date: 2000/05/26 05:03:28 $ $Author: Randy $ }
+@comment{ $Revision: 1.14 $ $Date: 2000/05/27 04:44:03 $ $Author: Randy $ }
 @Part(predefstandard, Root="ada.mss")
 
-@Comment{$Date: 2000/05/26 05:03:28 $}
+@Comment{$Date: 2000/05/27 04:44:03 $}
 
 @LabeledClause{The Package Standard}
 
@@ -36,45 +36,42 @@
 
 @LangDefType{Package=[Standard],Type=[Boolean]}
    @key[type] Boolean @key[is] (False, True);
-@Hinge{}
 
-   --@i{ The predefined relational operators for this type are as follows:}
-@Hinge{}
 
+@Keepnext   --@RI{ The predefined relational operators for this type are as follows:}
+
    -- @key[function] "="   (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] "/="  (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] "<"   (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] "<="  (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] ">"   (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] ">="  (Left, Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
 
-   --@i{ The predefined logical operators and the predefined logical}
-   --@i{ negation operator are as follows:}
-@Hinge{}
+@Keepnext   --@RI{ The predefined logical operators and the predefined logical}
+   --@RI{ negation operator are as follows:}
 
    -- @key[function] "@key[and]" (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] "@key[or]"  (Left, Right : Boolean) @key[return] Boolean;
    -- @key[function] "@key[xor]" (Left, Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
 
    -- @key[function] "@key[not]" (Right : Boolean) @key[return] Boolean;
-@Hinge{}
+
+
+   --@RI{ The integer type root_integer is predefined.}
+   --@RI{ The corresponding universal type is universal_integer.}
 
-   --@i{ The integer type @i{root_integer} is predefined.}
-   --@i{ The corresponding universal type is @i{universal_integer}.}
-@Hinge{}
 
 @LangDefType{Package=[Standard],Type=[Integer]}
-   @key[type] Integer @key[is] @key{range} @i{implementation-defined};
-@Hinge{}
+   @key[type] Integer @key[is] @key{range} @RI{implementation-defined};
 
+
    @key[subtype] Natural  @key[is] Integer @key[range] 0 .. Integer'Last;
    @key[subtype] Positive @key[is] Integer @key[range] 1 .. Integer'Last;
-@Hinge{}
+
 
-   --@i{ The predefined operators for type Integer are as follows:}
-@Hinge{}
+@Keepnext   --@RI{ The predefined operators for type Integer are as follows:}
 
    -- @key[function] "="  (Left, Right : Integer'Base) @key[return] Boolean;
    -- @key[function] "/=" (Left, Right : Integer'Base) @key[return] Boolean;
@@ -82,12 +79,12 @@
    -- @key[function] "<=" (Left, Right : Integer'Base) @key[return] Boolean;
    -- @key[function] ">"  (Left, Right : Integer'Base) @key[return] Boolean;
    -- @key[function] ">=" (Left, Right : Integer'Base) @key[return] Boolean;
-@Hinge{}
 
+
    -- @key[function] "+"   (Right : Integer'Base) @key[return] Integer'Base;
    -- @key[function] "-"   (Right : Integer'Base) @key[return] Integer'Base;
    -- @key[function] "@key[abs]" (Right : Integer'Base) @key[return] Integer'Base;
-@Hinge{}
+
 
    -- @key[function] "+"   (Left, Right : Integer'Base) @key[return] Integer'Base;
    -- @key[function] "-"   (Left, Right : Integer'Base) @key[return] Integer'Base;
@@ -95,29 +92,28 @@
    -- @key[function] "/"   (Left, Right : Integer'Base) @key[return] Integer'Base;
    -- @key[function] "@key[rem]" (Left, Right : Integer'Base) @key[return] Integer'Base;
    -- @key[function] "@key[mod]" (Left, Right : Integer'Base) @key[return] Integer'Base;
-@Hinge{}
 
+
    -- @key[function] "**"  (Left : Integer'Base; Right : Natural) @key[return] Integer'Base;
-@Hinge{}
+
+
+   --@RI{ The specification of each operator for the type}
+   --@RI{ root_integer, or for any additional predefined integer}
+   --@RI{ type, is obtained by replacing Integer by the name of the type}
+   --@RI{ in the specification of the corresponding operator of the type}
+   --@RI{ Integer.  The right operand of the exponentiation operator}
+   --@RI{ remains as subtype Natural.}
+
 
-   --@i{ The specification of each operator for the type}
-   --@i{ @i{root_integer}, or for any additional predefined integer}
-   --@i{ type, is obtained by replacing Integer by the name of the type}
-   --@i{ in the specification of the corresponding operator of the type}
-   --@i{ Integer.  The right operand of the exponentiation operator}
-   --@i{ remains as subtype Natural.}
-@Hinge{}
-
-   --@i{ The floating point type @i{root_real} is predefined.}
-   --@i{ The corresponding universal type is @i{universal_real}.}
-@Hinge{}
+   --@RI{ The floating point type root_real is predefined.}
+   --@RI{ The corresponding universal type is universal_real.}
 
+
 @LangDefType{Package=[Standard],Type=[Float]}
-   @key[type] Float @key[is] @key{digits} @i{implementation-defined};
-@Hinge{}
+   @key[type] Float @key[is] @key{digits} @RI{implementation-defined};
+
 
-   --@i{ The predefined operators for this type are as follows:}
-@Hinge{}
+@Keepnext   --@RI{ The predefined operators for this type are as follows:}
 
    -- @key[function] "="   (Left, Right : Float) @key[return] Boolean;
    -- @key[function] "/="  (Left, Right : Float) @key[return] Boolean;
@@ -125,171 +121,165 @@
    -- @key[function] "<="  (Left, Right : Float) @key[return] Boolean;
    -- @key[function] ">"   (Left, Right : Float) @key[return] Boolean;
    -- @key[function] ">="  (Left, Right : Float) @key[return] Boolean;
-@Hinge{}
 
+
    -- @key[function] "+"   (Right : Float) @key[return] Float;
    -- @key[function] "-"   (Right : Float) @key[return] Float;
    -- @key[function] "@key[abs]" (Right : Float) @key[return] Float;
-@Hinge{}
+
 
    -- @key[function] "+"   (Left, Right : Float) @key[return] Float;
    -- @key[function] "-"   (Left, Right : Float) @key[return] Float;
    -- @key[function] "*"   (Left, Right : Float) @key[return] Float;
    -- @key[function] "/"   (Left, Right : Float) @key[return] Float;
-@Hinge{}
 
+
    -- @key[function] "**"  (Left : Float; Right : Integer'Base) @key[return] Float;
-@Hinge{}
+
+
+   --@RI{ The specification of each operator for the type  root_real,  or  for}
+   --@RI{ any  additional  predefined  floating  point  type,  is  obtained  by}
+   --@RI{ replacing  Float by the name of  the type in the specification of the}
+   --@RI{ corresponding  operator  of  the  type  Float.}
+
+
+@Keepnext   --@RI{ In  addition,  the  following operators are predefined for the root}
+   --@RI{ numeric types:}
 
-   --@i{ The specification of each operator for the type  @i{root_real},  or  for}
-   --@i{ any  additional  predefined  floating  point  type,  is  obtained  by}
-   --@i{ replacing  Float by the name of  the type in the specification of the}
-   --@i{ corresponding  operator  of  the  type  Float.}
-@Hinge{}
+   @key[function] "*" (Left : @RI{root_integer}; Right : @RI{root_real})
+     @key[return] @RI{root_real};
 
-   --@i{ In  addition,  the  following operators are predefined for the root}
-   --@i{ numeric types:}
-@Hinge{}
 
-   @key[function] "*" (Left : @i{root_integer}; Right : @i{root_real})
-     @key[return] @i{root_real};
-@Hinge{}
+   @key[function] "*" (Left : @RI{root_real};    Right : @RI{root_integer})
+     @key[return] @RI{root_real};
 
-   @key[function] "*" (Left : @i{root_real};    Right : @i{root_integer})
-     @key[return] @i{root_real};
-@Hinge{}
 
-   @key[function] "/" (Left : @i{root_real};    Right : @i{root_integer})
-     @key[return] @i{root_real};
-@Hinge{}
+   @key[function] "/" (Left : @RI{root_real};    Right : @RI{root_integer})
+     @key[return] @RI{root_real};
 
-   --@i{ The type universal_fixed is predefined.}
-   --@i{ The only multiplying operators defined between}
-   --@i{ fixed point types are}
 
-   @key[function] "*" (Left : @i[universal_fixed]; Right : @i[universal_fixed])
-     @key[return] @i[universal_fixed];
+   --@RI{ The type universal_fixed is predefined.}
+   --@RI{ The only multiplying operators defined between}
+   --@RI{ fixed point types are}
 
-   @key[function] "/" (Left : @i[universal_fixed]; Right : @i[universal_fixed])
-     @key[return] @i[universal_fixed];
-@Hinge{}
+   @key[function] "*" (Left : @RI[universal_fixed]; Right : @RI[universal_fixed])
+     @key[return] @RI[universal_fixed];
+
+   @key[function] "/" (Left : @RI[universal_fixed]; Right : @RI[universal_fixed])
+     @key[return] @RI[universal_fixed];
+
+@tabclear()@tabset(P7, P14, P21, P28, P37, P44, P51, P58, P68)
 @comment{blank line}
+      --@RI{ The declaration of type Character is based on the standard ISO 8859-1 character set.}
 @comment{blank line}
-      --@i{ The declaration of type Character is based on the standard ISO 8859-1 character set.}
-
-@tabclear()@tabset(4, 8, 12, 16, 22, 26, 30, 34, 40)
-      --@i{ There are no character literals corresponding to the positions for control characters.}
-      --@i{ They are indicated in italics in this definition.  See @refsecnum[Character Types].}
+      --@RI{ There are no character literals corresponding to the positions for control characters.}
+      --@RI{ They are indicated in italics in this definition.  See @refsecnum[Character Types].}
 @comment[blank line]
 @LangDefType{Package=[Standard],Type=[Character]}
    @key[type] Character @key[is]
-     (@i[nul], @\@i[soh], @\@i[stx], @\@i[etx], @\@i[eot], @\@i[enq], @\@i[ack], @\@i[bel], @\--@i{0 (16#00#) .. 7 (16#07#)}]
-      @i[bs], @\@i[ht], @\@i[lf], @\@i[vt], @\@i[ff], @\@i[cr], @\@i[so], @\@i[si], @\--@i{8 (16#08#) .. 15 (16#0F#)}]
+     (@RI[nul],@\@RI[soh],@\@RI[stx],@\@RI[etx],@\@RI[eot],@\@RI[enq],@\@RI[ack],@\@RI[bel],@\--@RI{0 (16#00#) .. 7 (16#07#)}
+      @RI[bs],@\@RI[ht],@\@RI[lf],@\@RI[vt],@\@RI[ff],@\@RI[cr],@\@RI[so],@\@RI[si],@\--@RI{8 (16#08#) .. 15 (16#0F#)}
 @comment{blank line}
-      @i[dle], @\@i[dc1], @\@i[dc2], @\@i[dc3], @\@i[dc4], @\@i[nak], @\@i[syn], @\@i[etb], @\--@i{16 (16#10#) .. 23 (16#17#)}]
-      @i[can], @\@i[em], @\@i[sub], @\@i[esc], @\@i[fs], @\@i[gs], @\@i[rs], @\@i[us], @\--@i{24 (16#18#) .. 31 (16#1F#)}]
+      @RI[dle],@\@RI[dc1],@\@RI[dc2],@\@RI[dc3],@\@RI[dc4],@\@RI[nak],@\@RI[syn],@\@RI[etb],@\--@RI{16 (16#10#) .. 23 (16#17#)}
+      @RI[can],@\@RI[em],@\@RI[sub],@\@RI[esc],@\@RI[fs],@\@RI[gs],@\@RI[rs],@\@RI[us],@\--@RI{24 (16#18#) .. 31 (16#1F#)}
 @comment{blank line}
-      ' ',  '!',  '"',  '#',     '$',  '%',  '&',  ''', @\--@i{32 (16#20#) .. 39 (16#27#)}]
-      '(',  ')',  '*',  '+',     ',',  '-',  '.',  '/', @\--@i{40 (16#28#) .. 47 (16#2F#)}]
+      ' ',@\'!',@\'"',@\'#',@\'$',@\'%',@\'&',@\''',@\--@RI{32 (16#20#) .. 39 (16#27#)}
+      '(',@\')',@\'*',@\'+',@\',',@\'-',@\'.',@\'/',@\--@RI{40 (16#28#) .. 47 (16#2F#)}
 @comment{blank line}
-      '0',  '1',  '2',  '3',     '4',  '5',  '6',  '7', @\--@i{48 (16#30#) .. 55 (16#37#)}]
-      '8',  '9',  ':',  ';',     '<',  '=',  '>',  '?', @\--@i{56 (16#38#) .. 63 (16#3F#)}]
+      '0',@\'1',@\'2',@\'3',@\'4',@\'5',@\'6',@\'7',@\--@RI{48 (16#30#) .. 55 (16#37#)}
+      '8',@\'9',@\':',@\';',@\'<',@\'=',@\'>',@\'?',@\--@RI{56 (16#38#) .. 63 (16#3F#)}
 @comment{blank line}
-      '@@',  'A',  'B',  'C',     'D',  'E',  'F',  'G', @\--@i{64 (16#40#) .. 71 (16#47#)}]
-      'H',  'I',  'J',  'K',     'L',  'M',  'N',  'O', @\--@i{72 (16#48#) .. 79 (16#4F#)}]
+      '@@',@\'A',@\'B',@\'C',@\'D',@\'E',@\'F',@\'G',@\--@RI{64 (16#40#) .. 71 (16#47#)}
+      'H',@\'I',@\'J',@\'K',@\'L',@\'M',@\'N',@\'O',@\--@RI{72 (16#48#) .. 79 (16#4F#)}
 @comment{blank line}
-      'P',  'Q',  'R',  'S',     'T',  'U',  'V',  'W', @\--@i{80 (16#50#) .. 87 (16#57#)}]
-      'X',  'Y',  'Z',  '[',     '\',  ']',  '^',  '_', @\--@i{88 (16#58#) .. 95 (16#5F#)}]
+      'P',@\'Q',@\'R',@\'S',@\'T',@\'U',@\'V',@\'W',@\--@RI{80 (16#50#) .. 87 (16#57#)}
+      'X',@\'Y',@\'Z',@\'[',@\'\',@\']',@\'^',@\'_',@\--@RI{88 (16#58#) .. 95 (16#5F#)}
 @comment{blank line}
-      '`',  'a',  'b',  'c',     'd',  'e',  'f',  'g', @\--@i{96 (16#60#) .. 103 (16#67#)}]
-      'h',  'i',  'j',  'k',     'l',  'm',  'n',  'o', @\--@i{104 (16#68#) .. 111 (16#6F#)}]
+      '`',@\'a',@\'b',@\'c',@\'d',@\'e',@\'f',@\'g',@\--@RI{96 (16#60#) .. 103 (16#67#)}
+      'h',@\'i',@\'j',@\'k',@\'l',@\'m',@\'n',@\'o',@\--@RI{104 (16#68#) .. 111 (16#6F#)}
 @comment{blank line}
-      'p',  'q',  'r',  's',     't',  'u',  'v',  'w', @\--@i{112 (16#70#) .. 119 (16#77#)}]
-      'x',  'y',  'z',  '{',     '|',  '}',  '~',  @i[del], @\--@i{120 (16#78#) .. 127 (16#7F#)}]
+      'p',@\'q',@\'r',@\'s',@\'t',@\'u',@\'v',@\'w',@\--@RI{112 (16#70#) .. 119 (16#77#)}
+      'x',@\'y',@\'z',@\'{',@\'|',@\'}',@\'~',@\@RI[del],@\--@RI{120 (16#78#) .. 127 (16#7F#)}
 @Comment{Blank line}
-      @i[reserved_128], @\@i[reserved_129], @\@i[bph], @\@i[nbh], @\ @\ @\--@i{128 (16#80#) .. 131 (16#83#)}]
-      @i[reserved_132], @\@i[nel], @\@i[ssa], @\@i[esa], @\ @\ @\ @\--@i{132 (16#84#) .. 135 (16#87#)}]
-      @i[hts], @\@i[htj], @\@i[vts], @\@i[pld], @\@i[plu], @\@i[ri], @\@i[ss2], @\@i[ss3], @\--@i{136 (16#88#) .. 143 (16#8F#)}]
+      @RI[reserved_128],@\@RI[reserved_129],@\@RI[bph],@\@RI[nbh],@\@\@\--@RI{128 (16#80#) .. 131 (16#83#)}
+      @RI[reserved_132],@\@RI[nel],@\@RI[ssa],@\@RI[esa],@\@\@\@\--@RI{132 (16#84#) .. 135 (16#87#)}
+      @RI[hts],@\@RI[htj],@\@RI[vts],@\@RI[pld],@\@RI[plu],@\@RI[ri],@\@RI[ss2],@\@RI[ss3],@\--@RI{136 (16#88#) .. 143 (16#8F#)}
 @comment{blank line}
-      @i[dcs], @\@i[pu1], @\@i[pu2], @\@i[sts], @\@i[cch], @\@i[mw], @\@i[spa], @\@i[epa], @\--@i{144 (16#90#) .. 151 (16#97#)}]
-      @i[sos], @\@i[reserved_153], @\@i[sci], @\@i[csi], @\ @\ @\@\--@i{152 (16#98#) .. 155 (16#9B#)}]
-      @i[st], @\@i[osc], @\@i[pm], @\@i[apc], @\ @\ @\ @\ @\--@i{156 (16#9C#) .. 159 (16#9F#)}]
-
+      @RI[dcs],@\@RI[pu1],@\@RI[pu2],@\@RI[sts],@\@RI[cch],@\@RI[mw],@\@RI[spa],@\@RI[epa],@\--@RI{144 (16#90#) .. 151 (16#97#)}
+      @RI[sos],@\@RI[reserved_153],@\@RI[sci],@\@RI[csi],@\@\@\@\--@RI{152 (16#98#) .. 155 (16#9B#)}
+      @RI[st],@\@RI[osc],@\@RI[pm],@\@RI[apc],@\@\@\@\@\--@RI{156 (16#9C#) .. 159 (16#9F#)}
 @comment{blank line}
-      ' ',  '@latin1(161)',  '@latin1(162)',  '@latin1(163)',     '@latin1(164)',  '@latin1(165)',  '@latin1(166)',  '@latin1(167)', @\--@i{160 (16#A0#) .. 167 (16#A7#)}
-      '@latin1(168)',  '@latin1(169)',  '@latin1(170)',  '@latin1(171)',     '@latin1(172)',  '@latin1(173)',  '@latin1(174)',  '@latin1(175)', @\--@i{168 (16#A8#) .. 175 (16#AF#)}
+      ' ',@\'@latin1(161)',@\'@latin1(162)',@\'@latin1(163)',@\'@latin1(164)',@\'@latin1(165)',@\'@latin1(166)',@\'@latin1(167)',@\--@RI{160 (16#A0#) .. 167 (16#A7#)}
+      '@latin1(168)',@\'@latin1(169)',@\'@latin1(170)',@\'@latin1(171)',@\'@latin1(172)',@\'@latin1(173)',@\'@latin1(174)',@\'@latin1(175)',@\--@RI{168 (16#A8#) .. 175 (16#AF#)}
 @comment{blank line}
-      '@latin1(176)',  '@latin1(177)',  '@latin1(178)',  '@latin1(179)',     '@latin1(180)',  '@latin1(181)',  '@latin1(182)',  '@latin1(183)', @\--@i{176 (16#B0#) .. 183 (16#B7#)}
-      '@latin1(184)',  '@latin1(185)',  '@latin1(186)',  '@latin1(187)',     '@latin1(188)',  '@latin1(189)',  '@latin1(190)',  '@latin1(191)', @\--@i{184 (16#B8#) .. 191 (16#BF#)}
+      '@latin1(176)',@\'@latin1(177)',@\'@latin1(178)',@\'@latin1(179)',@\'@latin1(180)',@\'@latin1(181)',@\'@latin1(182)',@\'@latin1(183)',@\--@RI{176 (16#B0#) .. 183 (16#B7#)}
+      '@latin1(184)',@\'@latin1(185)',@\'@latin1(186)',@\'@latin1(187)',@\'@latin1(188)',@\'@latin1(189)',@\'@latin1(190)',@\'@latin1(191)',@\--@RI{184 (16#B8#) .. 191 (16#BF#)}
 @comment{blank line}
-      '@latin1(192)',  '@latin1(193)',  '@latin1(194)',  '@latin1(195)',     '@latin1(196)',  '@latin1(197)',  '@latin1(198)',  '@latin1(199)', @\--@i{192 (16#C0#) .. 199 (16#C7#)}
-      '@latin1(200)',  '@latin1(201)',  '@latin1(202)',  '@latin1(203)',     '@latin1(204)',  '@latin1(205)',  '@latin1(206)',  '@latin1(207)', @\--@i{200 (16#C8#) .. 207 (16#CF#)}
+      '@latin1(192)',@\'@latin1(193)',@\'@latin1(194)',@\'@latin1(195)',@\'@latin1(196)',@\'@latin1(197)',@\'@latin1(198)',@\'@latin1(199)',@\--@RI{192 (16#C0#) .. 199 (16#C7#)}
+      '@latin1(200)',@\'@latin1(201)',@\'@latin1(202)',@\'@latin1(203)',@\'@latin1(204)',@\'@latin1(205)',@\'@latin1(206)',@\'@latin1(207)',@\--@RI{200 (16#C8#) .. 207 (16#CF#)}
 @comment{blank line}
-      '@latin1(208)',  '@latin1(209)',  '@latin1(210)',  '@latin1(211)',     '@latin1(212)',  '@latin1(213)',  '@latin1(214)',  '@latin1(215)', @\--@i{208 (16#D0#) .. 215 (16#D7#)}
-      '@latin1(216)',  '@latin1(217)',  '@latin1(218)',  '@latin1(219)',     '@latin1(220)',  '@latin1(221)',  '@latin1(222)',  '@latin1(223)', @\--@i{216 (16#D8#) .. 223 (16#DF#)}
+      '@latin1(208)',@\'@latin1(209)',@\'@latin1(210)',@\'@latin1(211)',@\'@latin1(212)',@\'@latin1(213)',@\'@latin1(214)',@\'@latin1(215)',@\--@RI{208 (16#D0#) .. 215 (16#D7#)}
+      '@latin1(216)',@\'@latin1(217)',@\'@latin1(218)',@\'@latin1(219)',@\'@latin1(220)',@\'@latin1(221)',@\'@latin1(222)',@\'@latin1(223)',@\--@RI{216 (16#D8#) .. 223 (16#DF#)}
 @comment{blank line}
-      '@latin1(224)',  '@latin1(225)',  '@latin1(226)',  '@latin1(227)',     '@latin1(228)',  '@latin1(229)',  '@latin1(230)',  '@latin1(231)', @\--@i{224 (16#E0#) .. 231 (16#E7#)}
-      '@latin1(232)',  '@latin1(233)',  '@latin1(234)',  '@latin1(235)',     '@latin1(236)',  '@latin1(237)',  '@latin1(238)',  '@latin1(239)', @\--@i{232 (16#E8#) .. 239 (16#EF#)}
+      '@latin1(224)',@\'@latin1(225)',@\'@latin1(226)',@\'@latin1(227)',@\'@latin1(228)',@\'@latin1(229)',@\'@latin1(230)',@\'@latin1(231)',@\--@RI{224 (16#E0#) .. 231 (16#E7#)}
+      '@latin1(232)',@\'@latin1(233)',@\'@latin1(234)',@\'@latin1(235)',@\'@latin1(236)',@\'@latin1(237)',@\'@latin1(238)',@\'@latin1(239)',@\--@RI{232 (16#E8#) .. 239 (16#EF#)}
 @comment{blank line}
-      '@latin1(240)',  '@latin1(241)',  '@latin1(242)',  '@latin1(243)',     '@latin1(244)',  '@latin1(245)',  '@latin1(246)',  '@latin1(247)', @\--@i{240 (16#F0#) .. 247 (16#F7#)}
-      '@latin1(248)',  '@latin1(249)',  '@latin1(250)',  '@latin1(251)',     '@latin1(252)',  '@latin1(253)',  '@latin1(254)',  '@latin1(255)', @\--@i{248 (16#F8#) .. 255 (16#FF#)}
-@Hinge{}
+      '@latin1(240)',@\'@latin1(241)',@\'@latin1(242)',@\'@latin1(243)',@\'@latin1(244)',@\'@latin1(245)',@\'@latin1(246)',@\'@latin1(247)',@\--@RI{240 (16#F0#) .. 247 (16#F7#)}
+      '@latin1(248)',@\'@latin1(249)',@\'@latin1(250)',@\'@latin1(251)',@\'@latin1(252)',@\'@latin1(253)',@\'@latin1(254)',@\'@latin1(255)',@\--@RI{248 (16#F8#) .. 255 (16#FF#)}
 
-   --@i{ The predefined operators for the type Character are the  same  as  for}
-   --@i{ any enumeration type.}
-@Hinge{}
-@comment[blank line]
+
+   --@RI{ The predefined operators for the type Character are the  same  as  for}
+   --@RI{ any enumeration type.}
+@Softpage@;@comment[blank line]
 @comment[blank line]
-   --@i{ The declaration of type Wide_Character is based on the standard ISO 10646 BMP character set.}
-   --@i{ The first 256 positions have the same contents as type Character.  See @refsecnum[Character types].}
+   --@RI{ The declaration of type Wide_Character is based on the standard ISO 10646 BMP character set.}
+   --@RI{ The first 256 positions have the same contents as type Character.  See @refsecnum[Character types].}
 @comment[blank line]
 @LangDefType{Package=[Standard],Type=[Wide_Character]}
-   @key[type] Wide_Character @key[is] (@i[nul], @i[soh] ... @i[FFFE], @i[FFFF]);
+   @key[type] Wide_Character @key[is] (@RI[nul], @RI[soh] ... @RI[FFFE], @RI[FFFF]);
 @comment[blank line]
 @comment[blank line]
-   @key[package] ASCII @key[is] ... @key[end] ASCII;  @i{--Obsolescent; see @RefSecNum[ASCII]}
+   @key[package] ASCII @key[is] ... @key[end] ASCII;  @RI{--Obsolescent; see @RefSecNum[ASCII]}
 @Defn2{Term=[ASCII], Sec=(package physically nested within the declaration of Standard)}
-@Hinge{}
 @comment[blank line]
-@comment[blank line]
-   --@i{ Predefined string types:}
 
+   --@RI{ Predefined string types:}
+@comment[blank line]
 @LangDefType{Package=[Standard],Type=[String]}
    @key[type] String @key[is] @key[array](Positive @key[range] <>) @key[of] Character;
    @key[pragma] Pack(String);
 
-   --@i{ The predefined operators for this type are as follows:}
+@Keepnext   --@RI{ The predefined operators for this type are as follows:}
 
    --     @key[function] "="  (Left, Right: String) @key[return] Boolean;
-   --     @key[function] "/=" (Left, Right: String) @key[return] Boolean;
-@Hinge{}
+   --     @key[function] "/=" (Left, Right: String) @key[return] Boolean;@Softpage
    --     @key[function] "<"  (Left, Right: String) @key[return] Boolean;
    --     @key[function] "<=" (Left, Right: String) @key[return] Boolean;
    --     @key[function] ">"  (Left, Right: String) @key[return] Boolean;
    --     @key[function] ">=" (Left, Right: String) @key[return] Boolean;
-@Hinge{}
 
+
    --     @key[function] "&" (Left: String;    Right: String)    @key[return] String;
    --     @key[function] "&" (Left: Character; Right: String)    @key[return] String;
    --     @key[function] "&" (Left: String;    Right: Character) @key[return] String;
    --     @key[function] "&" (Left: Character; Right: Character) @key[return] String;
-@Hinge{}
+
 
 @LangDefType{Package=[Standard],Type=[Wide_String]}
    @key[type] Wide_String @key[is] @key[array](Positive @key[range] <>) @key[of] Wide_Character;
    @key[pragma] Pack(Wide_String);
 
-   --@i{ The predefined operators for this type correspond to those for String}
-@Hinge{}
+   --@RI{ The predefined operators for this type correspond to those for String}
 
+
 @LangDefType{Package=[Standard],Type=[Duration]}
-   @key[type] Duration @key[is] @key[delta] @i{implementation-defined} @key[range] @i{implementation-defined};
+   @key[type] Duration @key[is] @key[delta] @RI{implementation-defined} @key[range] @RI{implementation-defined};
+
+      --@RI{ The  predefined  operators for the type Duration are the same as for}
+      --@RI{ any fixed point type.}
 
-      --@i{ The  predefined  operators for the type Duration are the same as for}
-      --@i{ any fixed point type.}
-@Hinge{}
 
-   --@i{ The predefined exceptions:}
+@Keepnext   --@RI{ The predefined exceptions:}
 
    Constraint_Error: @key[exception];
    Program_Error   : @key[exception];
@@ -424,4 +414,4 @@
 forward reference.
 There's no real need to move Positive, too @em it just came along for
 the ride.
-@end{DiffWord83}
+@end{DiffWord83}
\ No newline at end of file

Questions? Ask the ACAA Technical Agent