CVS difference for 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