CVS difference for ais/ai-00329.txt

--- ais/ai-00329.txt	2004/06/25 01:30:45	1.7
+++ ais/ai-00329.txt	2004/11/14 06:37:13	1.8
@@ -1,4 +1,4 @@
-!standard 6.05.01      (01)                            04-05-25  AI95-00329/05
+!standard 6.05.01      (01)                            04-11-04  AI95-00329/06
 !standard 11.04.01     (04)
 !standard 11.04.01     (14)
 !class amendment 03-03-04
@@ -214,31 +214,31 @@
 !corrigendum 6.5.1(1)
 
 @dinsc
-A pragma No_Return indicates that a procedure can return only by propagating
+A @fa<pragma> No_Return indicates that a procedure can return only by propagating
 an exception.
 
 @i<@s8<Syntax>>
 
-The form of a pragma No_Return, which is a program unit pragma (see
+The form of a @fa<pragma> No_Return, which is a program unit pragma (see
 10.1.5), is as follows:
 
 @xindent<@b<pragma> No_Return(@i<local_>@fa<name>{, @i<local_>@fa<name>});>
 
 @i<@s8<Legality Rules>>
 
-The pragma shall apply to one or more procedures or generic procedures.
+The @fa<pragma> shall apply to one or more procedures or generic procedures.
 
-If a pragma No_Return applies to a procedure or a generic procedure, there
+If a @fa<pragma> No_Return applies to a procedure or a generic procedure, there
 shall be no @fa<return_statement>s that apply to that procedure.
 
 @i<@s8<Static Semantics>>
 
-If a pragma No_Return applies to a generic procedure, pragma No_Return
+If a @fa<pragma> No_Return applies to a generic procedure, @fa<pragma> No_Return
 applies to all instances of that generic procedure.
 
 @i<@s8<Dynamic Semantics>>
 
-If a pragma No_Return applies to a procedure, then the exception
+If a @fa<pragma> No_Return applies to a procedure, then the exception
 Program_Error is raised at the point of the call of the procedure if the
 procedure body completes normally.