ChangeLog from N1048
--------------------
* Update doc number to N1050 and date
* Updated 6.46 (Argument Passing to Libraries - split applicability into 3
cases for library body written in SPARK, Ada, or "other")
* Updated 6.47 (Note that Convention C is commonly used to call other languages)
* Updated 6.50 (Added note about unhandled exception, and use of "wrappers" to
catch unhandled exceptions before returning to SPARK. Also recommend
no cross-language propagation of exceptions)
* Updated 6.53 (Document issues with pragma Assume)
* Updated 6.55 (unspecified behaviours - see attached analysis)
* Updated 6.56 (Added note that erronenous = undefined in Ada)
* Updated 6.59 (Updated in light of H.6(14/2) and 10.2(30) regarding what happens
when library level task activation fails. Recommend no use of
allocators in declarative parts of lib level tasks.)
* Updated 6.61 (Prefer POs over Atomics)
* Updated 6.62 (Tidy and remove comment about dynamic task priorities)
* Updated 6.63 (Added ref to Burns & Wellings book and added to Bibliography)
* Updated 6.65 (Rosen trick is excluded from SPARK)
* Tidied up Bibliography. Add Burns/Wellings book and removed all old material.