CVS difference for ais/ai-00305.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00305.txt

--- ais/ai-00305.txt	2005/01/07 03:07:39	1.7
+++ ais/ai-00305.txt	2005/01/28 02:10:46	1.8
@@ -1,4 +1,4 @@
-!standard D.7 (10)                                   04-12-28  AI95-00305/07
+!standard D.7 (10)                                   05-01-12  AI95-00305/08
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
@@ -103,14 +103,14 @@
 The form of a pragma Detect_Blocking is as follows:
 pragma Detect_Blocking;
 
+Post-Compilation Rules
+A pragma Detect_Blocking is a configuration pragma.
+
 Dynamic Semantics
 An implementation is required to detect a potentially blocking
 operation within a protected operation[, and to raise Program_Error
 (see 9.5.1)].
 
-Post-Compilation Rules
-A pragma Detect_Blocking is a configuration pragma.
-
 Implementation Permissions
 An implementation is allowed to reject a compilation_unit if a potentially
 blocking operation is present directly within an entry_body or the body of a
@@ -218,12 +218,12 @@
 
 @dinsc
 
-The following pragma forces an implementation to detect potentially
+The following @fa<pragma> forces an implementation to detect potentially
 blocking operations within a protected operation.
 
 @i<@s8<Syntax>>
 
-The form of a pragma Detect_Blocking is as follows:
+The form of a @fa<pragma> Detect_Blocking is as follows:
 @xindent<@b<pragma> Detect_Blocking;>
 
 @i<@s8<Dynamic Semantics>>

Questions? Ask the ACAA Technical Agent