CVS difference for arm/progs/arm_html.ads

Differences between 1.25 and version 1.26
Log of other versions for file arm/progs/arm_html.ads

--- arm/progs/arm_html.ads	2011/10/19 23:58:04	1.25
+++ arm/progs/arm_html.ads	2011/10/27 01:29:48	1.26
@@ -97,6 +97,7 @@
     -- 12/19/07 - RLB - Added DOS_Filename flag.
     --		- RLB - Added limited colors to Text_Format.
     -- 10/18/11 - RLB - Changed to GPLv3 license.
+    -- 10/25/11 - RLB - Added old insertion version to Revised_Clause_Header.
 
     type HTML_Output_Type is new ARM_Output.Output_Type with private;
 
@@ -257,12 +258,15 @@
 			     Level : in ARM_Contents.Level_Type;
 			     Clause_Number : in String;
 			     Version : in ARM_Contents.Change_Version_Type;
-			     No_Page_Break : in Boolean := False);
+			     Old_Version : in ARM_Contents.Change_Version_Type;
+        		     No_Page_Break : in Boolean := False);
 	-- Output a revised clause header. Both the original and new text will
 	-- be output. The level of the header is specified in Level. The Clause
 	-- Number is as specified.
 	-- These should appear in the table of contents.
 	-- For hyperlinked formats, this should generate a link target.
+	-- Version is the insertion version of the new text; Old_Version is
+	-- the insertion version of the old text.
 	-- If No_Page_Break is True, suppress any page breaks.
 	-- Raises Not_Valid_Error if in a paragraph.
 

Questions? Ask the ACAA Technical Agent