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.