CVS difference for arm/progs/arm_frm.ads

Differences between 1.19 and version 1.20
Log of other versions for file arm/progs/arm_frm.ads

--- arm/progs/arm_frm.ads	2006/09/26 05:12:13	1.19
+++ arm/progs/arm_frm.ads	2006/09/30 04:57:21	1.20
@@ -195,6 +195,7 @@
 	Ada83_Extensions, Ada83_Wording, -- AARM-only.
 	Ada95_Inconsistencies, Ada95_Incompatibilities, -- AARM-only.
 	Ada95_Extensions, Ada95_Wording, -- AARM-only.
+	Element_Ref, Child_Ref, -- For ASIS.
 	-- AARM annotations (no headers)
 	Reason, Ramification, Proof, Imp_Note, Corr_Change, Discussion,
 	Honest, Glossary_Marker, Bare_Annotation,

Questions? Ask the ACAA Technical Agent