===================================================================
@@ -84,8 +84,9 @@
* Implementation of Ada 2012 Features::
* Obsolescent Features::
* GNU Free Documentation License::
-* Index::
+* Index:Concept Index.
+@detailmenu
--- The Detailed Node Listing ---
About This Guide
@@ -110,8 +111,8 @@
* Pragma Assertion_Policy::
* Pragma Assume::
* Pragma Assume_No_Invalid_Values::
+* Pragma Ast_Entry::
* Pragma Attribute_Definition::
-* Pragma Ast_Entry::
* Pragma C_Pass_By_Copy::
* Pragma Check::
* Pragma Check_Float_Overflow::
@@ -677,6 +678,7 @@
GNU Free Documentation License
Index
+@end detailmenu
@end menu
@end ifnottex
@@ -939,8 +941,8 @@
* Pragma Assertion_Policy::
* Pragma Assume::
* Pragma Assume_No_Invalid_Values::
+* Pragma Ast_Entry::
* Pragma Attribute_Definition::
-* Pragma Ast_Entry::
* Pragma C_Pass_By_Copy::
* Pragma Check::
* Pragma Check_Float_Overflow::
@@ -18826,19 +18828,6 @@
@cindex Time
@cindex @code{GNAT.Calendar.Time_IO} (@file{g-catiio.ads})
-@node GNAT.CRC32 (g-crc32.ads)
-@section @code{GNAT.CRC32} (@file{g-crc32.ads})
-@cindex @code{GNAT.CRC32} (@file{g-crc32.ads})
-@cindex CRC32
-@cindex Cyclic Redundancy Check
-
-@noindent
-This package implements the CRC-32 algorithm. For a full description
-of this algorithm see
-``Computation of Cyclic Redundancy Checks via Table Look-Up'',
-@cite{Communications of the ACM}, Vol.@: 31 No.@: 8, pp.@: 1008-1013,
-Aug.@: 1988. Sarwate, D.V@.
-
@node GNAT.Case_Util (g-casuti.ads)
@section @code{GNAT.Case_Util} (@file{g-casuti.ads})
@cindex @code{GNAT.Case_Util} (@file{g-casuti.ads})
@@ -18913,6 +18902,19 @@
@noindent
Provides a simple interface to handle Ctrl-C keyboard events.
+@node GNAT.CRC32 (g-crc32.ads)
+@section @code{GNAT.CRC32} (@file{g-crc32.ads})
+@cindex @code{GNAT.CRC32} (@file{g-crc32.ads})
+@cindex CRC32
+@cindex Cyclic Redundancy Check
+
+@noindent
+This package implements the CRC-32 algorithm. For a full description
+of this algorithm see
+``Computation of Cyclic Redundancy Checks via Table Look-Up'',
+@cite{Communications of the ACM}, Vol.@: 31 No.@: 8, pp.@: 1008-1013,
+Aug.@: 1988. Sarwate, D.V@.
+
@node GNAT.Current_Exception (g-curexc.ads)
@section @code{GNAT.Current_Exception} (@file{g-curexc.ads})
@cindex @code{GNAT.Current_Exception} (@file{g-curexc.ads})
@@ -19558,17 +19560,6 @@
single global task lock. Appropriate for use in situations where contention
between tasks is very rarely expected.
-@node GNAT.Time_Stamp (g-timsta.ads)
-@section @code{GNAT.Time_Stamp} (@file{g-timsta.ads})
-@cindex @code{GNAT.Time_Stamp} (@file{g-timsta.ads})
-@cindex Time stamp
-@cindex Current time
-
-@noindent
-Provides a simple function that returns a string YYYY-MM-DD HH:MM:SS.SS that
-represents the current date and time in ISO 8601 format. This is a very simple
-routine with minimal code and there are no dependencies on any other unit.
-
@node GNAT.Threads (g-thread.ads)
@section @code{GNAT.Threads} (@file{g-thread.ads})
@cindex @code{GNAT.Threads} (@file{g-thread.ads})
@@ -19581,6 +19572,17 @@
further details if your program has threads that are created by a non-Ada
environment which then accesses Ada code.
+@node GNAT.Time_Stamp (g-timsta.ads)
+@section @code{GNAT.Time_Stamp} (@file{g-timsta.ads})
+@cindex @code{GNAT.Time_Stamp} (@file{g-timsta.ads})
+@cindex Time stamp
+@cindex Current time
+
+@noindent
+Provides a simple function that returns a string YYYY-MM-DD HH:MM:SS.SS that
+represents the current date and time in ISO 8601 format. This is a very simple
+routine with minimal code and there are no dependencies on any other unit.
+
@node GNAT.Traceback (g-traceb.ads)
@section @code{GNAT.Traceback} (@file{g-traceb.ads})
@cindex @code{GNAT.Traceback} (@file{g-traceb.ads})
@@ -22469,7 +22471,7 @@
@include fdl.texi
@c GNU Free Documentation License
-@node Index,,GNU Free Documentation License, Top
+@node Concept Index
@unnumbered Index
@printindex cp
@@ -22477,5 +22479,3 @@
@contents
@bye
-tablishes the following set of restrictions:
-Pragma Shared