CVS difference for ai05s/ai05-0167-1.txt

--- ai05s/ai05-0167-1.txt	2011/10/21 06:42:22	1.17
+++ ai05s/ai05-0167-1.txt	2011/11/01 05:32:52	1.18
@@ -508,23 +508,23 @@
 @xcode<@b<with> System;
 @b<package> Ada.Interrupts @b<is>
    @b<type> Interrupt_Id @b<is> @ft<@i<implementation-defined>>;
-   @b<type> Parameterless_Handler @i<is>
+   @b<type> Parameterless_Handler @b<is>
       @b<access protected procedure>;>
 @dby
 @xcode<@b<with> System;
 @b<with> System.Multiprocessors;
 @b<package> Ada.Interrupts @b<is>
    @b<type> Interrupt_Id @b<is> @ft<@i<implementation-defined>>;
-   @b<type> Parameterless_Handler @i<is>
+   @b<type> Parameterless_Handler @b<is>
       @b<access protected procedure>;>
 
 !corrigendum C.3.2(10)
 
 @dinsa
-@xcode<   @b<function> Reference(Interrupt : Interrupt_Id)
+@xcode<   @b<function> Reference (Interrupt : Interrupt_Id)
       @b<return> System.Address;>
 @dinst
-@xcode<   @b<function> Get_CPU(Interrupt: Interrupt_Id)
+@xcode<   @b<function> Get_CPU (Interrupt : Interrupt_Id)
       @b<return> System.Multiprocessors.CPU_Range;>
 
 !corrigendum C.3.2(22/1)
@@ -591,7 +591,7 @@
 environment task executes. At program start-up all processors are contained
 within System_Dispatching_Domain.
 
-For a task type (including the anonymous type of a single_task_declaration),
+For a task type (including the anonymous type of a @fa<single_task_declaration>),
 the following language-defined representation aspect may be specified:
 @xhang<@xterm<Dispatching_Domain>
 The value of aspect Dispatching_Domain is an @fa<expression>, which shall be of
@@ -604,7 +604,7 @@
 
 @s8<@i<Dynamic Semantics>>
 
-The expression specifed for the Dispatching_Domain aspect of a task is evaluated
+The expression specified for the Dispatching_Domain aspect of a task is evaluated
 for each task object (see 9.1). The Dispatching_Domain value is then associated
 with the task object whose task declaration specifies the aspect.
 
@@ -693,7 +693,7 @@
 
 @s8<@i<Syntax>>
 
-The form of a @fa<pragma> Dispatching_Domain as follows:
+The form of a @fa<pragma> Dispatching_Domain is as follows:
 
 @xcode<@ft<@b<pragma> Dispatching_Domain (@fa<expression>);>>