CVS difference for ais/ai-00305.txt

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

--- ais/ai-00305.txt	2005/08/21 06:00:28	1.14
+++ ais/ai-00305.txt	2005/10/31 05:18:28	1.15
@@ -1,4 +1,4 @@
-!standard D.7 (10)                                   05-08-09  AI95-00305/13
+!standard D.7 (10)                                   05-09-20  AI95-00305/14
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
@@ -166,7 +166,7 @@
 protected subprogram, or an external call on a protected subprogram with a
 different target object is not considered a potentially blocking operation.>>
 @dinst
-@xindent<@s9<22  The @nt{pragma} Detect_Blocking may be used to ensure that all
+@xindent<@s9<22  The @fa<pragma> Detect_Blocking may be used to ensure that all
 executions of potentially blocking operations during a protected action
 raise Program_Error. See H.5.>>
 
@@ -254,7 +254,7 @@
 
 @i<@s8<Post-Compilation Rules>>
 
-A pragma Detect_Blocking is a configuration pragma.
+A @fa<pragma> Detect_Blocking is a configuration pragma.
 
 @i<@s8<Implementation Permissions>>
 

Questions? Ask the ACAA Technical Agent